cookbook.pdf
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 more on the parsing section
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 Updated.
2008-10-10 berghofe Updated.
2008-10-09 Christian Urban new version of implementation.aux
2008-10-09 Christian Urban added a proof and tuned the rest
2008-10-06 Christian Urban some slight polishing
2008-10-05 Christian Urban some tuning in the FirstSteps section
2008-10-02 Christian Urban fixed creation of bibliography
2008-10-02 Christian Urban polished
2008-10-02 Christian Urban added a solution section and some other minor additions
2008-10-02 Christian Urban added a paragraph about "uses" and started a paragraph about tracing
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-30 Christian Urban tuned and updated antquote_setup.ML
2008-09-17 Christian Urban many changes in the FirstSteps section
2008-09-15 Christian Urban added an explicit file containing references in the Implementation manual (should be replaced by antiquotations)
2008-09-15 Christian Urban some tuning
2008-09-09 Christian Urban minor modifiations to the Intro and FirstSteps chapters
2008-09-06 Christian Urban added verbatim the notes by Jeremy
2008-09-05 Christian Urban split the document into smaller pieces;
less more (0) tip