Timeline



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 …

Jun 5, 2014:

1:54 PM Ticket #493 (ProofGeneral stalls/loops on ...) created by coquser
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 coquser
Here is a proof script that gives "Proof General: script management …
Note: See TracTimeline for information about the timeline view.