CookBook/ROOT.ML
2008-10-29 Christian Urban added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
2008-10-20 Christian Urban further progress on the parsing section and tuning on the antiqu's
2008-10-10 berghofe Added chapter about writing packages.
2008-10-02 Christian Urban added a solution section and some other minor additions
2008-10-02 Christian Urban polished and added a subdirectory for the recipes
2008-10-01 Christian Urban various changes by Alex and Christian
2008-09-06 Christian Urban added verbatim the notes by Jeremy
less more (0) -7 tip