| Mon, 30 Apr 2012 14:43:52 +0100 | Christian Urban | removed special ML-setup and replaced it by explicit markups (i.e., %grayML) | file | diff | annotate |
| Mon, 07 Nov 2011 13:36:07 +0000 | Christian Urban | more on contexts | file | diff | annotate |
| Thu, 27 Oct 2011 18:11:52 +0100 | Christian Urban | some tests | file | diff | annotate |
| Wed, 23 Feb 2011 23:55:37 +0000 | Christian Urban | updated to post-2011 Isabelle | file | diff | annotate |
| Wed, 02 Jun 2010 07:19:58 +0200 | Christian Urban | added Andreas | file | diff | annotate |
| Sat, 29 May 2010 12:30:02 +0200 | Christian Urban | added example from Tobias and changed the title | file | diff | annotate |
| Tue, 17 Nov 2009 18:40:11 +0100 | Christian Urban | added example by Lukas Bulwahn | file | diff | annotate |
| Tue, 03 Nov 2009 13:57:03 +0100 | Christian Urban | added structure index | file | diff | annotate |
| Sat, 31 Oct 2009 11:37:41 +0100 | Christian Urban | new parts in the tactical section | file | diff | annotate |
| Sun, 25 Oct 2009 15:26:03 +0100 | Christian Urban | some polishing | file | diff | annotate |
| Wed, 14 Oct 2009 02:32:53 +0200 | Christian Urban | slightly tuned | file | diff | annotate |
| Sun, 11 Oct 2009 16:30:59 +0200 | Christian Urban | fixed glitch with tocibind | file | diff | annotate |
| Sat, 10 Oct 2009 18:25:43 +0200 | Christian Urban | used a better implementation of \index in Latex; added more to the theorem section | file | diff | annotate |
| Sat, 03 Oct 2009 19:10:23 +0200 | Christian Urban | more work | file | diff | annotate |