Timeline



Aug 16, 2014:

6:08 AM Ticket #495 (Goals buffer aggressively cleared with Coq pre-8.5) created by coquser
I am using Proof General 4.3pre131011 with the current trunk version …

Jun 23, 2014:

1:29 PM Ticket #494 (PG incorrectly parses the result of [Fail] in some cases) created by coquser
In, e.g., the code […] coqtop -emacs returns […] which PG …
Note: See TracTimeline for information about the timeline view.