| 2009-03-13 | Christian Urban | some polishing | file | diff | annotate |
| 2009-03-12 | Christian Urban | simplified antiquotations | file | diff | annotate |
| 2009-03-11 | Christian Urban | polished somewhat the recipes and solutions | file | diff | annotate |
| 2009-03-11 | Christian Urban | partially adapted to new antiquotation infrastructure | file | diff | annotate |
| 2009-03-01 | Christian Urban | updated to repository version; added a section about timing | file | diff | annotate |
| 2009-02-28 | Christian Urban | general polishing; added versioning to the document | file | diff | annotate |
| 2009-02-13 | Christian Urban | properly handled linenumbers in ML-text and Isar-proofs | file | diff | annotate |