Timeline
Jun 7, 2011:
- 4:09 PM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) reopened by
- When I wrote the code I considered
*coq-compile-response*
an … - 3:57 PM Ticket #409 (Problem with wide unicode characters in emacs 23.3) created by
- In Emacs23.3, when replacing tokens like \<Longrightarrow>, they are …
- 1:20 PM Ticket #350 (Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" ...) closed by
- duplicate: See #317.
Jun 6, 2011:
- 2:37 PM Ticket #318 (Report emacs bug: segfault with use of display property/font-lock) closed by
- upstream: Reported upstream.
- 2:23 PM Ticket #317 (Report emacs bug: overlapping visibility properties) closed by
- upstream
- 1:58 PM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) closed by
- needmoreinfo: Thanks Erik. Personally I find some of the situations you're …
Jun 4, 2011:
- 12:21 AM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) reopened by
- Replying to da: > Thanks for the report and investigation. …
Jun 3, 2011:
- 11:19 PM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) closed by
- fixed: Thanks for the report and investigation.
I think
buffer-live-p
… - 11:13 PM Ticket #407 (proof-undo-and-delete-last-successful-command does not meet spec) closed by
- fixed: Fixed, many thanks for the report.
- 5:30 PM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) created by
- To reproduce the bug: 1. Create an empty file one.v, using for …
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.