Timeline
Jun 1, 2011:
- 11:45 PM Ticket #407 (proof-undo-and-delete-last-successful-command does not meet spec) created by
- Hello, I have just noticed the ProofGeneral function …
May 30, 2011:
- 4:16 PM Ticket #403 (comment-dwim and kill-rectangle in the locked region) closed by
- fixed: Fixed, I hope. Thanks for pointing that out -- the retraction …
May 27, 2011:
- 12:56 PM Ticket #404 (Coq parse error with undelimited comment) closed by
- fixed: Fixed, thanks for report.
May 25, 2011:
- 9:29 AM Ticket #406 (auto compile bugs when some outputs is done by coqc) reopened by
- only accidently closed
- 8:46 AM Ticket #406 (auto compile bugs when some outputs is done by coqc) closed by
- needmoreinfo: > an error due to the read-only status of coq-compile-response > …
May 24, 2011:
- 5:26 PM Ticket #406 (auto compile bugs when some outputs is done by coqc) created by
- To reproduce the bug: 1) have in file foo.v the following: Eval …
May 20, 2011:
- 3:20 PM Ticket #405 (Report Emacs bug: Quail input breaks delete-char behaviour) created by
- Step 1: In a theory file buffer, type a character like "-" or ".", …
- 2:56 PM Ticket #404 (Coq parse error with undelimited comment) created by
- open a new file a.v and put just a comment start (* into it. …
- 2:44 PM Ticket #403 (comment-dwim and kill-rectangle in the locked region) created by
- Using comment-dwim and kill-rectangle in the locked region triggers …
May 17, 2011:
- 5:03 PM Ticket #394 (Coq "Library" keyword - incorrect coloring) closed by
- fixed: Hello. This is fixed in trunk. However the reason of this bug is …
May 16, 2011:
- 4:27 PM Ticket #395 (proof-segment-up-to-using-cache broken since Oct 11 20:07:17 2010 +0200) closed by
- fixed: Closing now, no problems seen after a fair bit of testing.
- 4:10 PM Ticket #400 (assert newly added text in ancestor fails) closed by
- fixed: OK, I've taken a look at this now and tried out the patch in Isabelle, …
- 1:08 PM Ticket #363 (Multiple file handling for Coq needs sensible treatment) closed by
- fixed: Hendrik's patch is now incorporated. Works nicely!
- 12:34 PM Ticket #402 (Clean up customization groups/settings) created by
- The customization groups for Proof General need a bit of tidying: for …
- 11:59 AM Ticket #401 (Parser cache does not respect fly-past-comments) created by
- Test case with Fly Past Comments enabled: […] on first process, all …
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:
Note: See TracTimeline
for information about the timeline view.