CookBook/Parsing.thy
2009-03-18 Christian Urban made the Ackermann function example safer and included suggestions from MW
2009-03-17 Christian Urban a simplification suggested by Stefan and some polishing
2009-03-17 Christian Urban updated to new method_setup
2009-03-15 Christian Urban adapted to latest Attrib.setup changes and more work on the simple induct chapter
2009-03-13 Christian Urban polishing
2009-03-05 Christian Urban redefined the functions warning and tracing in order to properly match more antiquotations
2009-03-03 Christian Urban polished
2009-02-26 Christian Urban polished
2009-02-24 Christian Urban polishing and start of the section about attributes
2009-02-23 Christian Urban polished
2009-02-23 Christian Urban polished
2009-02-21 Christian Urban polished
2009-02-20 Christian Urban updated and added two tentative recipes
2009-02-19 Christian Urban polished
2009-02-19 Christian Urban polished parser section
2009-02-18 Christian Urban added to the first-steps section
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 more changes to the package chapter
2009-02-13 Christian Urban properly handled linenumbers in ML-text and Isar-proofs
2009-02-11 Christian Urban added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)
2009-02-09 Christian Urban added more to the Tactical section
2009-02-08 Christian Urban polished
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-28 Christian Urban polished
2009-01-27 Christian Urban better handling of {* and *}
2009-01-26 Christian Urban polished
2009-01-26 Christian Urban tuned
less more (0) -50 -30 tip