CookBook/Intro.thy
2009-02-19 Christian Urban polished
2009-02-17 Christian Urban polished
2009-02-16 Christian Urban polishing
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-02-14 Christian Urban added an acknowledgement section
2009-02-11 Christian Urban added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)
2009-02-09 Christian Urban polished and more material in the tactic chapter
2009-02-09 Christian Urban renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-02-06 Christian Urban tuned
2009-01-29 Christian Urban polishing
2009-01-27 Christian Urban better handling of {* and *}
2009-01-27 Christian Urban some polishing
2009-01-26 Christian Urban polished
2009-01-26 Christian Urban tuned
2009-01-23 Christian Urban tuned
2009-01-14 Christian Urban added more to the "new command section" and tuning
2009-01-12 Christian Urban tuned
2009-01-10 Christian Urban tuned and added a section about creating keyword files
2009-01-08 Christian Urban deleted old files and added code to give a special tag to the command ML
2009-01-03 Christian Urban doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
2008-12-13 Christian Urban tuned; added document antiquotation ML_response_fake_both
2008-11-28 Christian Urban tuned
2008-11-25 Christian Urban tuned
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-01 Christian Urban various changes by Alex and Christian
2008-09-30 Christian Urban tuned and updated antquote_setup.ML
2008-09-15 Christian Urban some tuning
2008-09-09 Christian Urban minor modifiations to the Intro and FirstSteps chapters
2008-09-05 Christian Urban split the document into smaller pieces;
less more (0) tip