CookBook/antiquote_setup.ML
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