Timeline
Aug 23, 2011:
- 8:48 PM Ticket #419 (Print Fully Explicit option gets out of sync after undoing before ...) created by
- This has been a bug in PG for several years now, but as far as I can …
- 1:57 PM Ticket #415 (Wrong file mentioned in installation notes) closed by
- fixed: Thanks for the note. I've moved it back to coq.el, it seems to work …
- 1:42 PM Ticket #418 (Emacs is not responding after typing `Case "".<newline>`) closed by
- fixed: Thanks for the report. Now patched.
- 1:42 PM Ticket #417 (Website states wrong minimal emacs version) closed by
- fixed: Thanks for the report. The compatibility is fixed again in RC3.
- 1:41 PM Ticket #416 (Emacs indentation can go into an infinite loop) closed by
- fixed: Thanks for the report. Now patched.
- 11:39 AM Ticket #418 (Emacs is not responding after typing `Case "".<newline>`) created by
- Hello! I use Proof General with Coq, Utoks mode is enabled. When I …
Aug 19, 2011:
- 9:22 PM Ticket #417 (Website states wrong minimal emacs version) created by
- http://proofgeneral.inf.ed.ac.uk/download#prereq says that emacs 23.1 …
Aug 15, 2011:
- 5:29 PM Ticket #416 (Emacs indentation can go into an infinite loop) created by
- Paste the following code in. After the final period, press either …
Aug 4, 2011:
- 3:17 PM Ticket #415 (Wrong file mentioned in installation notes) created by
- In the Installation notes …
Jul 29, 2011:
- 6:14 PM Ticket #414 (PG thinks Preterm command is not state-preserving) closed by
- fixed: Fixed in cvs. Thank you for submitting. Also added "Obligations" in …
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.
Note: See TracTimeline
for information about the timeline view.