Timeline
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 …
Oct 16, 2013:
- 11:45 PM Ticket #485 ("Time commands" option offsets the cursor when errors are reported) created by
- When activating the "Time Commands" option, every time an error is …
Oct 1, 2013:
- 6:19 PM Ticket #484 ([Existing Instances] should be highlighted like [Existing Instance]) created by
Note: See TracTimeline
for information about the timeline view.