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-specfor 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
priorityones, but probably also …
Dec 1, 2009:
- 11:48 PM Ticket #311 (Unicode tokens: cannot select certain fonts from menu) closed by
- fixed: Fall back using :family instead of :font seems to be better, at least …
- 7:10 PM Ticket #280 (Unicode Tokens: cleanups) closed by
- fixed: Closing this ticket now. Defaults seem reasonable and menu options …
- 10:50 AM Ticket #313 (Unicode tokens: tweak support for Coq) created by
- The Unicode Tokens support for Coq is not entirely compatible with the …
- 10:47 AM Ticket #312 (Unicode tokens: add support for PhoX) created by
- PhoX heavily used obsolete/xemacs symbol mechanisms. Support should …
- 10:42 AM Ticket #311 (Unicode tokens: cannot select certain fonts from menu) created by
- Some fonts cannot be selected because they don't have default …
- 10:33 AM Ticket #306 (Odd display of sub/superscripts) closed by
- fixed: Fixed: see
isar-control-char-format-regexpin … - 10:00 AM Ticket #300 (Emacs 22: strange keyword categorization) closed by
- fixed: Fixed in isar-syntax.el 10.31, I hope.
- 1:32 AM Ticket #298 (Isabelle indentation) closed by
- fixed: Should be fixed in CVS head now.
- 12:11 AM Ticket #310 (Subscripts in locked region are revealed the moment you finish a lemma) created by
- As long as you work within the lemma it is fine. […]
Nov 30, 2009:
- 11:48 PM Ticket #307 (synchronization loss with interrupts) closed by
- fixed: Many thanks for the useful test case and explanation. Fixed now in …
Nov 28, 2009:
- 6:16 PM Ticket #309 (-p option (Isar interface) does not permit additional parameters to ...) closed by
- fixed: This is intentional, option -p is described in the usage as {{{Emacs …
Nov 27, 2009:
- 3:17 PM Ticket #308 (Emacs 23 slow -- especially on Cygwin) reopened by
- Hard to tell. Here is another instance …
- 2:05 PM Ticket #309 (-p option (Isar interface) does not permit additional parameters to ...) created by
- The -p option in isar/interface does not allow additional parameters …
Nov 26, 2009:
- 10:51 AM Ticket #308 (Emacs 23 slow -- especially on Cygwin) closed by
- needmoreinfo: This is a nuisance, but is the problem actually due to PG code? Can …
Nov 25, 2009:
- 11:55 PM Ticket #308 (Emacs 23 slow -- especially on Cygwin) created by
- My general impression when using PG 3.7.1 or 4.0 with Emacs 23 is that …
- 4:29 PM Ticket #307 (synchronization loss with interrupts) created by
- Steps to reproduce: 1. load the following script, which contains a …
Nov 24, 2009:
- 12:12 PM Ticket #306 (Odd display of sub/superscripts) created by
- This is GNU Emacs 23.1.1 on Ubuntu 9.10. Sub/superscripts are …
Nov 23, 2009:
- 11:31 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) closed by
- fixed: Fixed for Isabelle2009-1 and beyond: now PG uses
ProofGeneral.pr…
Nov 16, 2009:
- 5:48 PM Ticket #299 (Out of sync with Isabelle) closed by
- needmoreinfo
- 5:48 PM Ticket #305 (High overhead) closed by
- needmoreinfo: This generally shouldn't be the case, but it depends on the …
Nov 12, 2009:
- 1:43 PM Ticket #305 (High overhead) created by
- When processing larger portions (thousands of lines) of a Isabelle …
- 10:35 AM Ticket #304 (Isabelle: trying to undo a step fails for me) closed by
- invalid: Actually, nevermind, turns out our version of Isabelle doesn't have …
- 10:24 AM Ticket #304 (Isabelle: trying to undo a step fails for me) created by
- I am uncertain if my version of Isabelle is to blame (i.e. not …
Nov 11, 2009:
- 10:45 AM Ticket #303 (underlining on error sucks) created by
- While others may report more fundamental problems, here is another …
Nov 6, 2009:
- 11:38 PM Ticket #301 (Ubuntu 9.10: PG menus broken) closed by
- invalid: Confirmed, at least for Emacs 22. For goodness sake, how on earth did …
- 11:26 PM Ticket #302 (Coq mode requires hilit19.el which is not in Emacs 23) closed by
- invalid: Thanks for reporting but I'm sorry, I can't find the dependency that …
- 3:06 AM Ticket #302 (Coq mode requires hilit19.el which is not in Emacs 23) created by
- On Ubuntu 9.10, the emacs23 package does not include hilit19.el, which …
Nov 5, 2009:
- 2:26 PM Ticket #301 (Ubuntu 9.10: PG menus broken) created by
- On Ubuntu 9.10 with Emacs 22 or 23, the PG specific menus are broken …
- 2:22 PM Ticket #300 (Emacs 22: strange keyword categorization) created by
- This is Ubuntu 9.10 with GNU Emacs 22 (Gtk). Somehow the keyword …
Oct 21, 2009:
- 9:22 PM Ticket #292 (Goal buffer not updated on "undo" and "goto) reopened by
- In the old protocol with non-linear undo, it worked via the …
Oct 19, 2009:
- 9:41 AM Ticket #299 (Out of sync with Isabelle) created by
- When working within Isar proofs ProofGeneral and Isabelle get out of …
Oct 16, 2009:
- 5:49 PM Ticket #298 (Isabelle indentation) created by
- The automatic indentation for Isar proofs has some problems: …
- 12:47 PM Ticket #297 (Finding of lisp relative to the "proofgeneral" script is broken) closed by
- fixed: Many thanks for the patch, have added in CVS now.
- 8:14 AM Ticket #297 (Finding of lisp relative to the "proofgeneral" script is broken) created by
- I'm glad to see that support for finding the lisp files relative to …
- 6:32 AM Ticket #296 (PG accepts garbage though Coq said "illegal begin of vernac") created by
- If I type the following complete garbage and press "C-c C-RET" at the …
Oct 5, 2009:
- 6:55 PM Ticket #295 (Undo on edit in ML-sections) created by
- It appears that undo-on-edit does not work when editing within an ML …
- 1:20 PM Ticket #293 (Synchronisation losses with undo-on-edit) closed by
- fixed: Thanks for follow-up. Assuming you only lose key-presses in the case …
Oct 3, 2009:
- 6:36 PM Ticket #294 (Make pg-protected-undo allow in undo in comments of locked region) created by
- Editing is allowed in comments inside the locked region, but the …
Oct 2, 2009:
- 11:20 AM Ticket #293 (Synchronisation losses with undo-on-edit) created by
- The following behaviour makes the setting "PG -> Quick Options -> Read …
Note: See TracTimeline
for information about the timeline view.
