| Thu, 12 Mar 2009 14:25:35 +0000 | Christian Urban | simplified antiquotations | file | diff | annotate |
| Wed, 11 Mar 2009 22:34:49 +0000 | Christian Urban | polished somewhat the recipes and solutions | file | diff | annotate |
| Wed, 11 Mar 2009 01:43:28 +0000 | Christian Urban | partially adapted to new antiquotation infrastructure | file | diff | annotate |
| Sun, 01 Mar 2009 21:48:59 +0000 | Christian Urban | updated to repository version; added a section about timing | file | diff | annotate |
| Sat, 28 Feb 2009 14:18:02 +0000 | Christian Urban | general polishing; added versioning to the document | file | diff | annotate |
| Fri, 13 Feb 2009 09:57:08 +0000 | Christian Urban | properly handled linenumbers in ML-text and Isar-proofs | file | diff | annotate |
| Fri, 16 Jan 2009 14:57:36 +0000 | Christian Urban | tuned | file | diff | annotate |