Timeline



Oct 16, 2013:

11:45 PM Ticket #485 ("Time commands" option offsets the cursor when errors are reported) created by coquser
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 coquser

Aug 27, 2013:

8:58 PM Ticket #483 (ltac: and constr: should not affect indentation) created by coquser
This indentation (done by TAB) is wrong: […]
Note: See TracTimeline for information about the timeline view.