CookBook/ROOT.ML
2009-02-23 Christian Urban polished
2009-02-20 Christian Urban updated and added two tentative recipes
2009-02-17 Christian Urban polished
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-01-29 Christian Urban tuned
2009-01-23 Christian Urban tuned
2009-01-14 Christian Urban added more to the "new command section" and tuning
2009-01-07 boehmes Added four recipes.
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
2008-09-05 Christian Urban split the document into smaller pieces;
2008-09-03 Christian Urban initial commit of Alexander's files
less more (0) tip