src/Doc/IsarImplementation/ML.thy
2014-03-18 wenzelm 2014-03-18 tuned signature -- rearranged modules;
2014-03-02 wenzelm 2014-03-02 more antiquotations;
2014-03-02 wenzelm 2014-03-02 clarified names of antiquotations and markup; more documentation;
2014-01-22 wenzelm 2014-01-22 prefer rail cartouche -- avoid back-slashed quotes; proper documentation of \<newline> syntax;
2013-12-09 wenzelm 2013-12-09 more antiquotations;
2013-11-11 wenzelm 2013-11-11 tuned signature;
2013-09-29 wenzelm 2013-09-29 tuned;
2013-09-19 wenzelm 2013-09-19 repaired latex (cf. 84522727f9d3);
2013-09-18 wenzelm 2013-09-18 improved printing of exception trace in Poly/ML 5.5.1;
2013-08-23 wenzelm 2013-08-23 discontinued unused antiquotation blocks;
2013-08-23 wenzelm 2013-08-23 removed unused ML antiquotations @{let}, @{note};
2013-08-18 wenzelm 2013-08-18 tuned;
2013-07-27 wenzelm 2013-07-27 tuned;
2013-06-21 wenzelm 2013-06-21 clarified strings of symbols, including ML string literals;
2013-06-20 wenzelm 2013-06-20 more on managed evaluation;
2013-06-20 wenzelm 2013-06-20 more on managed evaluation;
2013-06-20 wenzelm 2013-06-20 updated to Isabelle2013;
2013-06-20 wenzelm 2013-06-20 tuned;
2013-06-20 wenzelm 2013-06-20 tuned;
2013-04-08 wenzelm 2013-04-08 document @{make_string}, cf. NEWS of Isabelle2009-2 (June 2010);
2013-02-27 wenzelm 2013-02-27 discontinued redundant 'use' command;
2013-01-26 wenzelm 2013-01-26 some updates concerning Proof General;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;