Timeline
Dec 17, 2009:
- 10:23 AM Ticket #321 (Retract buffer broken) created by
- with Isabelle2009-1 retract buffer does not work anymore: * Outer …
Dec 11, 2009:
- 1:33 PM Ticket #314 (Duplication of some special messages) reopened by
- Test case: - Load the theory …
Dec 9, 2009:
- 12:45 PM Ticket #319 (delete would be nice if it didn't expant symbols) closed by
- duplicate: Actually, there is already the ticket #290 which describes this.
- 10:30 AM Ticket #320 (Processing currently gobbles comments and white space: better if it didn't) closed by
- invalid: Do you have […] switched on? Please re-open if this is the reason.
- 10:28 AM Ticket #308 (Emacs 23 slow -- especially on Cygwin) closed by
- needmoreinfo
Dec 6, 2009:
- 6:26 PM Ticket #320 (Processing currently gobbles comments and white space: better if it didn't) created by
- Asking PG to process the next command currently processes all white …
Note: See TracTimeline
for information about the timeline view.
