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) +30 +50 +100 +300 tip