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