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.
Note: See TracTimeline
for information about the timeline view.
