Timeline
May 7, 2015:
- 10:41 AM Ticket #494 (PG incorrectly parses the result of [Fail] in some cases) closed by
- fixed: It seems fixed in recent v8.4 and v8.5, the message is now enclosed …
- 10:37 AM Ticket #493 (ProofGeneral stalls/loops on ...) closed by
- wontfix: Hi, Indeed this is a strang coq-8.4 behavior that seems fixed in …
- 10:28 AM Ticket #492 (Proof General: script management confused, couldn't find goal span for ...) closed by
- fixed: Actually it came from the hacks for discriminating goal commands from …
- 10:00 AM Ticket #460 (proof general hanging on Coq Definition in file generated by Why3) closed by
- worksforme
- 9:58 AM Ticket #484 ([Existing Instances] should be highlighted like [Existing Instance]) closed by
- fixed: Applied. Thanks.
- 9:56 AM Ticket #491 (Print Implicit not available as emacs command) closed by
- wontfix: Hi, I won't apply this since it is redundant with About, which I …
- 9:50 AM Ticket #485 ("Time commands" option offsets the cursor when errors are reported) closed by
- fixed: Fixed. Thanks.
- 9:37 AM Ticket #486 (Disable long indention under quantifiers?) closed by
- fixed: done.
Apr 27, 2015:
- 4:44 PM Ticket #479 ([intros ??.] messes up following indentation) closed by
- fixed: This is fixed in the latest CVS
- 4:38 PM Ticket #482 ([lazymatch] should be highlighted and indented like [match]) closed by
- fixed: Pierre fixed this in the latest CVS.
- 1:51 PM Ticket #504 (Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left) closed by
- fixed: Fixed, thanks.
- 12:32 PM Ticket #505 (Fix indentation of lazymatch in Coq) closed by
- fixed
Apr 25, 2015:
- 4:57 PM Ticket #505 (Fix indentation of lazymatch in Coq) created by
- Patch here: http://pastebin.com/u68uY13X
- 4:54 PM Ticket #504 (Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left) created by
- When (= (point) (point-min)), the pair …
Mar 13, 2015:
- 2:52 PM Ticket #489 (Electric Terminator mode breaks desktop-save-mode) closed by
- fixed: Thanks for the detailed report! I have fixed …
- 2:27 PM Ticket #328 (Strange resizing of main buffer after minibuffer dialog corres) closed by
- worksforme: This seems likely to be an underlying emacs bug, if it is still …
- 2:22 PM Ticket #500 (Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG ...) closed by
- fixed: Fixed in current CVS head, thanks.
- 2:20 PM Ticket #502 (Latest Makefile change breaks things everywhere except Mac) closed by
- fixed
Mar 9, 2015:
- 5:41 PM Ticket #503 (Some coq output get lost for query processed just after an error stops ...) closed by
- fixed
- 5:14 PM Ticket #503 (Some coq output get lost for query processed just after an error stops ...) created by
- To reproduce: Check nat. (* 1 *) Check foo. (* 2 *) Check nat. (* 3 …
- 5:10 PM Ticket #463 (Warning messages suppress error messages and make PG have incorrect ...) closed by
- fixed: This is fixed for v8.5 and trunk. Probably by the fixes I made in …
Mar 6, 2015:
- 10:20 PM Ticket #502 (Latest Makefile change breaks things everywhere except Mac) created by
- The most recent change to Makefile, changing the EMACS macro …
Note: See TracTimeline
for information about the timeline view.
