CookBook/document/root.tex
2009-02-05 Christian Urban changed the readmore environment
2009-01-29 Christian Urban polishing
2009-01-27 Christian Urban better handling of {* and *}
2009-01-26 Christian Urban changed definition of graybox
2009-01-16 Christian Urban tuned
2009-01-14 Christian Urban added an antiquotation option [gray] for gray boxes around displays
2009-01-14 Christian Urban removed mytable from root-file
2009-01-14 Christian Urban highligted the background of ML-code
2009-01-12 Christian Urban tuned
2009-01-08 Christian Urban deleted old files and added code to give a special tag to the command ML
2009-01-07 Christian Urban added Sacha as contributor
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