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 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 Adjusted margins.
2008-10-13 berghofe Updated.
2008-10-13 berghofe Tuned.
2008-10-13 berghofe Corrected typos.
2008-10-10 berghofe Updated.
2008-10-10 berghofe Added new chapter about writing packages.
2008-10-10 berghofe Added alltt, rail, and url.
2008-10-10 berghofe Added some more papers cited in the "how to write a package" chapter.
2008-10-10 berghofe Added rail style file.
2008-10-10 berghofe Added chapter about writing packages.
2008-10-10 berghofe Added chapter about writing packages.
2008-10-10 berghofe Added some more antiquotations.
2008-10-10 berghofe Antiquotation setup is now contained in theory Base.
2008-10-10 berghofe Antiquotation for referring to chunks of ML code.
2008-10-10 berghofe New theory for installing antiquotations.
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 tuned IsaMakefile
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-17 Christian Urban added new version
2008-09-15 Christian Urban forgot to add (see previous message)
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 not needed anymore -> moved to other places
2008-09-05 Christian Urban split the document into smaller pieces;
2008-09-03 Christian Urban added necessary files
2008-09-03 Christian Urban initial commit of Alexander's files
(0) +60 +100 +300 tip