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 …
Dec 4, 2009:
- 12:35 PM Ticket #319 (delete would be nice if it didn't expant symbols) created by
- currently, when hitting backspace after a Unicode symbol, the symbol …
- 10:15 AM Ticket #314 (Duplication of some special messages) closed by
- needmoreinfo
- 10:15 AM Ticket #315 (failure to show ML errors) closed by
- needmoreinfo
- 9:50 AM Ticket #318 (Report emacs bug: segfault with use of display property/font-lock) created by
- Test case: turn on Unicode Tokens for Isabelle. Open a theory file …
- 9:48 AM Ticket #310 (Subscripts in locked region are revealed the moment you finish a lemma) closed by
- fixed: Fixed as suggested by avoiding
buffer-invisibility-spec
for script … - 9:48 AM Ticket #317 (Report emacs bug: overlapping visibility properties) created by
- Invisibility properties overlap in a perhaps unintuitive way. Partial …
Dec 2, 2009:
- 11:23 PM Ticket #316 (UI glitch: point still jumps about when follow-mode=never move) created by
- Test case: set Follow Mode to Never Move. Assert buffer. Point jumps …
- 11:00 PM Ticket #303 (underlining on error sucks) closed by
- fixed: This issue is fixed now, there is a new option `proof-sticky-errors' …
- 2:49 PM Ticket #315 (failure to show ML errors) created by
- When compiling a fairly large amount of code loaded implicitly by a …
- 1:30 PM Ticket #314 (Duplication of some special messages) created by
- Special messages, such as
priority
ones, but probably also …
Note: See TracTimeline
for information about the timeline view.