Timeline
Nov 27, 2008:
- 6:04 PM Ticket #260 (Path names with spaces are not decoded property on search path) created by
- Path names with spaces are not decoded property on search path. See …
Nov 25, 2008:
- 10:26 AM Ticket #259 (Parsing Failure at ends of files) closed by
- fixed: appears to be fixed.
Nov 19, 2008:
- 3:20 PM Ticket #259 (Parsing Failure at ends of files) created by
- Parsing a file with no trailing whitespace fails. For example: …
Nov 11, 2008:
- 11:45 PM Ticket #257 (Byte Compilation fails because of comments in the completion file) closed by
- invalid: I really don't think this is a bug in Proof General. You can adjust …
Note: See TracTimeline
for information about the timeline view.