CookBook/Recipes/Antiquotes.thy
2009-03-12 Christian Urban simplified antiquotations
2009-03-11 Christian Urban polished somewhat the recipes and solutions
2009-03-11 Christian Urban partially adapted to new antiquotation infrastructure
2009-03-01 Christian Urban updated to repository version; added a section about timing
2009-02-28 Christian Urban general polishing; added versioning to the document
2009-02-13 Christian Urban properly handled linenumbers in ML-text and Isar-proofs
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 highligted the background of ML-code
2009-01-10 Christian Urban tuned and added a section about creating keyword files
2008-12-17 Christian Urban tuned
2008-12-16 Christian Urban fixed typos
2008-11-29 Christian Urban removed the @{ML ...} antiquotation in favour of @{ML_open ...x}
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
less more (0) tip