2009-02-13 | Christian Urban | properly handled linenumbers in ML-text and Isar-proofs | file | diff | annotate |
2009-02-09 | Christian Urban | renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious) | file | diff | annotate |
2009-02-08 | Christian Urban | polished | file | diff | annotate |