Timeline
Apr 26, 2011:
- 4:11 PM Ticket #398 (Compilation failure with mmm and Emacs development version) closed by
- fixed: The compile issue has been fixed for Emacs 23.3 now. It may have …
- 3:05 PM Ticket #397 (Coq PG: changing scripting buffer and automatically restarting misses ...) closed by
- fixed: The attached patch has now been applied. Hendrik sent some comments …
Apr 18, 2011:
- 10:50 AM Ticket #398 (Compilation failure with mmm and Emacs development version) created by
- Using the newest development version (or older versions) with Emacs …
- 10:44 AM Ticket #397 (Coq PG: changing scripting buffer and automatically restarting misses ...) created by
- The issue is that after changing the active scripting buffer, the …
Apr 13, 2011:
- 12:23 PM Ticket #396 (error in proof-shell-insert-hook docstring) closed by
- fixed: Thanks, fixed the doc string. Actually, 'init-cmd is still there (but …
Apr 6, 2011:
- 12:42 PM Ticket #396 (error in proof-shell-insert-hook docstring) created by
- Hi, this docstring mentions the callbacks init-cmd and …
Mar 11, 2011:
Feb 22, 2011:
- 11:45 AM Ticket #395 (proof-segment-up-to-using-cache broken since Oct 11 20:07:17 2010 +0200) created by
- Hi, the changeset 7913:9ebd4b14cadc committed on Oct 11 20:07:17 2010 …
Feb 18, 2011:
- 3:23 PM Ticket #394 (Coq "Library" keyword - incorrect coloring) created by
- When using "Extraction Library <Module>", the "Library" word is not …
Feb 15, 2011:
Feb 9, 2011:
- 2:04 PM Ticket #391 (proof-full-annotation causes instabilities) reopened by
- There are two fundamental problems here, of different severity: * …
Feb 1, 2011:
- 11:00 PM Ticket #392 (Isabelle anti-quotation colouring obliterates symbol font setting) created by
- I can now get most symbols displayed by choosing "Apple Symbols" in …
Jan 31, 2011:
- 1:03 PM Ticket #391 (proof-full-annotation causes instabilities) closed by
- worksforme: I've tried the file suggested now in Isabelle2011, and it works fine …
- 12:52 PM Ticket #390 (Odd progress markers in text mode) closed by
- duplicate: See #372.
- 12:50 PM Ticket #387 (Preferences lost when prover restarted) closed by
- fixed: More elaborate fix in CVS now. The CVS version allows for different …
- 10:25 AM Ticket #389 (Mac OS X font selection problems) closed by
- wontfix: You're right that Mac OS X is doing something odd combine fonts, as …
Jan 28, 2011:
- 2:29 PM Ticket #391 (proof-full-annotation causes instabilities) created by
- This is GNU Emacs 23.x on Linux or Mac OS. The default {{{ …
- 12:03 PM Ticket #390 (Odd progress markers in text mode) created by
- Mac OS X Snow Leopard. Running with /usr/bin/emacs in text mode …
- 11:50 AM Ticket #389 (Mac OS X font selection problems) created by
- This is Mac OS X Snow Leopard, GNU Emacs 23.2.x "non-nonsense". The …
- 9:58 AM Ticket #386 (Coq goals counter not reset on backtracking out of proof) closed by
- fixed: This is fixed in cvs. Thanks for reporting.
Note: See TracTimeline
for information about the timeline view.