CookBook/Parsing.thy
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
2009-01-23 Christian Urban tuned
2009-01-16 Christian Urban tuned
2009-01-14 Christian Urban added an antiquotation option [gray] for gray boxes around displays
less more (0) -12 tip