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 …
Nov 8, 2008:
- 2:46 PM Ticket #257 (Byte Compilation fails because of comments in the completion file) reopened by
- Replying to da: > Your syntax is wrong, comments in elisp …
Nov 7, 2008:
- 5:47 PM Ticket #257 (Byte Compilation fails because of comments in the completion file) closed by
- invalid: Your syntax is wrong, comments in elisp start with ; (semi-colon)
Oct 28, 2008:
- 9:04 AM Ticket #258 (Copying from response buffer also copies colour control chars) created by
- In the latest CVS (updated Oct 28th, but problem existed previously): …
Oct 26, 2008:
- 3:17 AM Ticket #257 (Byte Compilation fails because of comments in the completion file) created by
- I have a problem in a byte compilation of 'Proof General 3.7.1' with …
Note: See TracTimeline
for information about the timeline view.