Context Navigation

Timeline

10:23 Ticket #321 (Retract buffer broken) created by NorbertSchirmer: with Isabelle2009-1 retract buffer does not work anymore: *** Outer …

13:33 Ticket #314 (Duplication of some special messages) reopened by krauss: Test case: - Load the theory …

12:45 Ticket #319 (delete would be nice if it didn't expant symbols) closed by da: duplicate: Actually, there is already the ticket #290 which describes this.
10:30 Ticket #320 (Processing currently gobbles comments and white space: better if it didn't) closed by da: invalid: Do you have[…]
10:28 Ticket #308 (Emacs 23 slow -- especially on Cygwin) closed by da: needmoreinfo

18:26 Ticket #320 (Processing currently gobbles comments and white space: better if it didn't) created by ldixon: Asking PG to process the next command currently processes all white space …

12:35 Ticket #319 (delete would be nice if it didn't expant symbols) created by ldixon: currently, when hitting backspace after a Unicode symbol, the symbol is …
10:15 Ticket #314 (Duplication of some special messages) closed by da: needmoreinfo
10:15 Ticket #315 (failure to show ML errors) closed by da: needmoreinfo
09:50 Ticket #318 (Report emacs bug: segfault with use of display property/font-lock) created by da: Test case: turn on Unicode Tokens for Isabelle. Open a theory file and go …
09:48 Ticket #310 (Subscripts in locked region are revealed the moment you finish a lemma) closed by da: fixed: Fixed as suggested by avoiding buffer-invisibility-spec for script …
09:48 Ticket #317 (Report emacs bug: overlapping visibility properties) created by da: Invisibility properties overlap in a perhaps unintuitive way. Partial …

23:23 Ticket #316 (UI glitch: point still jumps about when follow-mode=never move) created by da: Test case: set Follow Mode to Never Move. Assert buffer. Point jumps to …
23:00 Ticket #303 (underlining on error sucks) closed by da: fixed: This issue is fixed now, there is a new option `proof-sticky-errors' to …
14:49 Ticket #315 (failure to show ML errors) created by ldixon: When compiling a fairly large amount of code loaded implicitly by a theory …
13:30 Ticket #314 (Duplication of some special messages) created by makarius: Special messages, such as priority ones, but probably also …

23:48 Ticket #311 (Unicode tokens: cannot select certain fonts from menu) closed by da: fixed: Fall back using :family instead of :font seems to be better, at least in …
19:10 Ticket #280 (Unicode Tokens: cleanups) closed by da: fixed: Closing this ticket now. Defaults seem reasonable and menu options work …
10:50 Ticket #313 (Unicode tokens: tweak support for Coq) created by da: The Unicode Tokens support for Coq is not entirely compatible with the old …
10:47 Ticket #312 (Unicode tokens: add support for PhoX) created by da: PhoX heavily used obsolete/xemacs symbol mechanisms. Support should be …
10:42 Ticket #311 (Unicode tokens: cannot select certain fonts from menu) created by da: Some fonts cannot be selected because they don't have default …
10:33 Ticket #306 (Odd display of sub/superscripts) closed by da: fixed: Fixed: see isar-control-char-format-regexp in isar-unicode-tokens.el …
10:00 Ticket #300 (Emacs 22: strange keyword categorization) closed by da: fixed: Fixed in isar-syntax.el 10.31, I hope.
01:32 Ticket #298 (Isabelle indentation) closed by da: fixed: Should be fixed in CVS head now.
00:11 Ticket #310 (Subscripts in locked region are revealed the moment you finish a lemma) created by da: As long as you work within the lemma it is fine. […]

23:48 Ticket #307 (synchronization loss with interrupts) closed by da: fixed: Many thanks for the useful test case and explanation. Fixed now in …

18:16 Ticket #309 (-p option (Isar interface) does not permit additional parameters to emacs ...) closed by makarius: fixed: This is intentional, option -p is described in the usage as {{{Emacs …

15:17 Ticket #308 (Emacs 23 slow -- especially on Cygwin) reopened by makarius: Hard to tell. Here is another …
14:05 Ticket #309 (-p option (Isar interface) does not permit additional parameters to emacs ...) created by Florian Haftmann: The -p option in isar/interface does not allow additional parameters to …

10:51 Ticket #308 (Emacs 23 slow -- especially on Cygwin) closed by da: needmoreinfo: This is a nuisance, but is the problem actually due to PG code? Can you …

23:55 Ticket #308 (Emacs 23 slow -- especially on Cygwin) created by makarius: My general impression when using PG 3.7.1 or 4.0 with Emacs 23 is that is …
16:29 Ticket #307 (synchronization loss with interrupts) created by krauss: Steps to reproduce: 1. load the following script, which contains a …

12:12 Ticket #306 (Odd display of sub/superscripts) created by makarius: This is GNU Emacs 23.1.1 on Ubuntu 9.10. Sub/superscripts are displayed …

23:31 Ticket #292 (Goal buffer not updated on "undo" and "goto) closed by da: fixed: Fixed for Isabelle2009-1 and beyond: now PG uses ProofGeneral.pr command …

17:48 Ticket #299 (Out of sync with Isabelle) closed by da: needmoreinfo
17:48 Ticket #305 (High overhead) closed by da: needmoreinfo: This generally shouldn't be the case, but it depends on the circumstances. …

13:43 Ticket #305 (High overhead) created by NorbertSchirmer: When processing larger portions (thousands of lines) of a Isabelle theory …
10:35 Ticket #304 (Isabelle: trying to undo a step fails for me) closed by RafalKolanski: invalid: Actually, nevermind, turns out our version of Isabelle doesn't have …
10:24 Ticket #304 (Isabelle: trying to undo a step fails for me) created by RafalKolanski: I am uncertain if my version of Isabelle is to blame (i.e. not *exactly* …

Note: See TracTimeline for information about the timeline view.