Timeline
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), …
Mar 11, 2014:
- 5:50 PM Ticket #490 (Bad parsing of .}) created by
- In ProofGeneral with Coq, I cannot execute a script past “.}” as in …
Mar 7, 2014:
- 4:40 PM Ticket #489 (Electric Terminator mode breaks desktop-save-mode) created by
- With ProofGeneral 4.2 used for Coq (dunno about other proof …
Jan 9, 2014:
- 4:29 PM Ticket #488 (Display of Ltac debugging mode) created by
- Recently I often work on Ltac coding in emacs with "Set Ltac Debug." …
Dec 27, 2013:
- 7:01 PM Ticket #487 (Coq syntax highlighting: Proposition) closed by
- fixed: Looks fixed in latest CVS.
- 6:27 PM Ticket #487 (Coq syntax highlighting: Proposition) created by
- The Proposition vernacular command is not highlighted properly.
Note: See TracTimeline
for information about the timeline view.
