Timeline
Jun 3, 2015:
- 5:49 PM Ticket #506 (Please add Proof IDE support to emacs PG) created by
- The tty mode has been dropped in Isabelle 2015. So in order for PG to …
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 …
Note: See TracTimeline
for information about the timeline view.