CookBook/document/root.tex
2008-11-28 Christian Urban completes the recipie on antiquotations
2008-10-30 Christian Urban hakked latex so that it does not display ML {* *}; general tuning
2008-10-29 Christian Urban added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
2008-10-29 Christian Urban added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
2008-10-27 Christian Urban tuned mostly antiquotation and text
2008-10-20 Christian Urban further progress on the parsing section and tuning on the antiqu's
2008-10-17 Christian Urban substantial changes to the antiquotations (preliminary version)
2008-10-14 Christian Urban added a preliminary section about parsing
2008-10-13 berghofe Adjusted margins.
2008-10-10 berghofe Added alltt, rail, and url.
2008-10-09 Christian Urban added a proof and tuned the rest
2008-10-02 Christian Urban fixed creation of bibliography
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-09-15 Christian Urban added an explicit file containing references in the Implementation manual (should be replaced by antiquotations)
2008-09-09 Christian Urban minor modifiations to the Intro and FirstSteps chapters
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