Timeline



Dec 17, 2009:

10:23 AM Ticket #321 (Retract buffer broken) created by Norbert Schirmer
with Isabelle2009-1 retract buffer does not work anymore: * Outer …

Dec 11, 2009:

1:33 PM Ticket #314 (Duplication of some special messages) reopened by Alexander Krauss
Test case: - Load the theory …
Note: See TracTimeline for information about the timeline view.