Timeline
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
Aug 27, 2013:
- 8:58 PM Ticket #483 (ltac: and constr: should not affect indentation) created by
- This indentation (done by TAB) is wrong: […]
Note: See TracTimeline
for information about the timeline view.