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: […]

Jul 24, 2013:

7:16 PM Ticket #482 ([lazymatch] should be highlighted and indented like [match]) created by coquser
Currently, it causes the branches to be deindented, and does not match …

Jul 18, 2013:

10:31 PM Ticket #452 (Some Isabelle options enabled but not active) closed by Makarius
fixed
Note: See TracTimeline for information about the timeline view.