Timeline
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: […]
Jul 24, 2013:
- 7:16 PM Ticket #482 ([lazymatch] should be highlighted and indented like [match]) created by
- Currently, it causes the branches to be deindented, and does not match …
Jul 18, 2013:
Jul 17, 2013:
- 12:18 PM Ticket #467 (The "Time (tactic)." vernacular command no longer displays timings ...) closed by
- fixed: The menu entries are fixed now, such that, when you select "Time …
- 11:12 AM Ticket #481 (proof-set-value does not handle errors in :eval forms of defpacustom) created by
- Hi, proof-set-value evaluates the :eval form when a defpacustom …
Jul 13, 2013:
- 1:49 PM Ticket #480 ([match]es sometimes screw up indentation) created by
- Here is some code poorly indented by TAB: […] The second …
Jul 12, 2013:
- 9:48 PM Ticket #479 ([intros ??.] messes up following indentation) created by
- […] Should not be indented this way. (Adding a space between the …
Note: See TracTimeline
for information about the timeline view.