Timeline
May 12, 2011:
- 1:07 PM Ticket #400 (assert newly added text in ancestor fails) created by
- See the test case in coq/ex/test-cases/change-ancestor/README. The …
May 5, 2011:
- 6:46 PM Ticket #399 (dvi target in doc/Makefile.doc missing) closed by
- fixed: Thanks for the suggestion, I've cleaned it up now. And, although you …
- 10:14 AM Ticket #399 (dvi target in doc/Makefile.doc missing) created by
- cd doc; make dvi therefore gives make -f Makefile.doc …
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:
Note: See TracTimeline
for information about the timeline view.