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.
Oct 29, 2013:
- 2:58 PM Ticket #486 (Disable long indention under quantifiers?) created by
- At some point (I think related to emacs 24) Proof General changed its …
Note: See TracTimeline
for information about the timeline view.
