Timeline
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 …
Mar 27, 2014:
- 3:50 PM Ticket #491 (Print Implicit not available as emacs command) created by
- 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
- Reopening this ticket as I'm having the same issue (and as #433), …
Note: See TracTimeline
for information about the timeline view.