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 …

Mar 27, 2014:

3:50 PM Ticket #491 (Print Implicit not available as emacs command) created by coquser
The command "Print Implicit <name>" is not made available as Emacs …

Mar 25, 2014:

4:41 PM Ticket #377 (Electric-terminator mode next line movement changed) reopened by coquser
Reopening this ticket as I'm having the same issue (and as #433), …
Note: See TracTimeline for information about the timeline view.