src/Doc/antiquote_setup.ML
2013-12-09 wenzelm 2013-12-09 provide @{file_unchecked} in Isabelle/Pure;
2013-11-07 wenzelm 2013-11-07 misc tuning;
2013-08-18 wenzelm 2013-08-18 more markup;
2013-08-16 wenzelm 2013-08-16 check_tool wrt. official ISABELLE_TOOLS; added Path.split (cf. Scala version);
2013-08-16 wenzelm 2013-08-16 more markup via Name_Space.check; tuned signature;
2013-06-15 wenzelm 2013-06-15 updated operations on proof terms;
2012-11-26 wenzelm 2012-11-26 tuned signature; tuned;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;