CookBook/antiquote_setup.ML
2009-02-13 Christian Urban improved
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 further cleanup
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-02-05 Christian Urban calculated the exact number of goals in the subgoal antiquotation
2009-02-05 Christian Urban (re)defined the document antiquotation @subgoal in order to be closer to what is actually printed
2009-01-29 Christian Urban made chunks aware of the gray-option
2009-01-15 Christian Urban used newly exported break reference in ThyOutput for writing separate output_list function
2009-01-14 Christian Urban added an antiquotation option [gray] for gray boxes around displays
2008-12-16 berghofe Repaired output of marginal comments in ML antiquotation.
2008-12-13 Christian Urban tuned; added document antiquotation ML_response_fake_both
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-11-24 Christian Urban added more material
2008-10-29 Christian Urban deleted old antiquote_setup and renamed antiquote_setup_plus to antiquuote_setup
2008-10-17 Christian Urban substantial changes to the antiquotations (preliminary version)
2008-09-30 Christian Urban tuned and updated antquote_setup.ML
2008-09-17 Christian Urban added new version
2008-09-05 Christian Urban split the document into smaller pieces;
less more (0) tip