Timeline



Jun 22, 2011:

6:50 PM Ticket #338 (Report Emacs bug: subscript and superscripts don't work with native ...) closed by David Aspinall
upstream: See http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8913. Has a patch …

Jun 20, 2011:

12:36 AM Ticket #412 (coq parsing broken since Jun 04 20:12:40 (II)) closed by courtieu
fixed: I removed { and } as command terminators. This should be fixed in cvs.

Jun 17, 2011:

8:33 AM Ticket #412 (coq parsing broken since Jun 04 20:12:40 (II)) created by coquser
Here is another piece of Coq code that doesn't parse anymore: […]

Jun 10, 2011:

11:48 PM Ticket #410 (coq parsing broken since Jun 04 20:12:40) closed by courtieu
fixed: Fixed in cvs, thanks.

Jun 9, 2011:

2:52 PM Ticket #411 (wiki formatting corrupts tickets) closed by David Aspinall
wontfix: Sorry, I don't think it's possible (let me know if you think …
10:26 AM Ticket #411 (wiki formatting corrupts tickets) created by coquser
Please disable the wiki formatting for tickets. There are many …

Jun 8, 2011:

10:26 PM Ticket #410 (coq parsing broken since Jun 04 20:12:40) created by coquser
Hi, the commit …
5:36 PM Ticket #409 (Problem with wide unicode characters in emacs 23.3) closed by Generic Isabelle user
upstream: Ok ... this indeed seemed to be a problem with emacs. That it worked …
9:16 AM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) closed by coquser
fixed: Killing and renaming *coq-compile-response* is now possible. The …

Jun 7, 2011:

4:09 PM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) reopened by coquser
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 Generic Isabelle user
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 David Aspinall
duplicate: See #317.

Jun 6, 2011:

2:37 PM Ticket #318 (Report emacs bug: segfault with use of display property/font-lock) closed by David Aspinall
upstream: Reported upstream.
2:23 PM Ticket #317 (Report emacs bug: overlapping visibility properties) closed by David Aspinall
upstream
1:58 PM Ticket #408 (Auto compile fails if coq-compile-response-buffer has been killed) closed by David Aspinall
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 Erik Martin-Dorel
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 David Aspinall
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 David Aspinall
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 Erik Martin-Dorel
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 Erik Martin-Dorel
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 David Aspinall
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 David Aspinall
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 coquser
only accidently closed
8:46 AM Ticket #406 (auto compile bugs when some outputs is done by coqc) closed by coquser
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 courtieu
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 Generic Isabelle user
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 coquser
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 coquser
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 courtieu
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 David Aspinall
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 David Aspinall
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 David Aspinall
fixed: Hendrik's patch is now incorporated. Works nicely!
12:34 PM Ticket #402 (Clean up customization groups/settings) created by David Aspinall
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 David Aspinall
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 coquser
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 David Aspinall
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 coquser
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 David Aspinall
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 David Aspinall
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 noschinski
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 tews
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 David Aspinall
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 coquser
Hi, this docstring mentions the callbacks init-cmd and …
Note: See TracTimeline for information about the timeline view.