| 2009-02-18 | Christian Urban | added to the first-steps section | file | diff | annotate |
| 2009-02-15 | Christian Urban | some polishing; split up the file External Solver into two | file | diff | annotate |
| 2009-02-14 | Christian Urban | more changes to the package chapter | file | diff | annotate |
| 2009-02-13 | Christian Urban | some update of the package introduction | file | diff | annotate |
| 2009-02-13 | Christian Urban | properly handled linenumbers in ML-text and Isar-proofs | file | diff | annotate |
| 2009-02-13 | Christian Urban | slightly updated | file | diff | annotate |
| 2009-02-07 | Christian Urban | general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution | file | diff | annotate |
| 2009-01-29 | Christian Urban | adaptation of the package chapter to fit the rest | file | diff | annotate |
| 2008-10-14 | Christian Urban | added a preliminary section about parsing | file | diff | annotate |
| 2008-10-10 | berghofe | Added new chapter about writing packages. | file | diff | annotate |