Timeline
Aug 16, 2014:
- 6:08 AM Ticket #495 (Goals buffer aggressively cleared with Coq pre-8.5) created by
- 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
- In, e.g., the code […] coqtop -emacs returns […] which PG …
Jun 5, 2014:
- 1:54 PM Ticket #493 (ProofGeneral stalls/loops on ...) created by
- Goal True. ... Evaluating this script (the "..." is literal) will …
May 26, 2014:
- 6:42 PM Ticket #492 (Proof General: script management confused, couldn't find goal span for ...) created by
- Here is a proof script that gives "Proof General: script management …
Note: See TracTimeline
for information about the timeline view.