Timeline
Jul 26, 2011:
- 1:11 PM Ticket #414 (PG thinks Preterm command is not state-preserving) created by
- Preterm is not listed in the Coq commands database, so PG …
- 12:19 PM Ticket #413 (Clicking on Find icon does not bring up input buffer) closed by
- worksforme: Thanks for the report. I tried the example as you explained it on …
Jul 24, 2011:
- 2:45 AM Ticket #413 (Clicking on Find icon does not bring up input buffer) created by
- This problem may be due to my inexperience with emacs and/or proof …
Jul 7, 2011:
- 6:08 PM Ticket #405 (Report Emacs bug: Quail input breaks delete-char behaviour) closed by
- upstream: Reported upstream
Jun 22, 2011:
- 6:50 PM Ticket #338 (Report Emacs bug: subscript and superscripts don't work with native ...) closed by
- 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
- 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
- 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
- fixed: Fixed in cvs, thanks.
Jun 9, 2011:
- 2:52 PM Ticket #411 (wiki formatting corrupts tickets) closed by
- 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
- 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
- Hi, the commit …
- 5:36 PM Ticket #409 (Problem with wide unicode characters in emacs 23.3) closed by
- 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
- 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
- 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 …
Note: See TracTimeline
for information about the timeline view.