Timeline
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.
