src/Doc/more_antiquote.ML
6 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
16 months ago wenzelm 2018-02-23 added HOLogic.mk_obj_eq convenience and eliminated some clones;
17 months ago wenzelm 2018-01-25 clarified signature: items with \isasep are special;
18 months ago wenzelm 2018-01-19 adapted to a5ca98950a91;
18 months ago wenzelm 2018-01-18 clarified access to antiquotation options; define explicit variants of antiquotations; output proper Latex.text; misc tuning and clarification;
18 months ago wenzelm 2018-01-09 clarified modules;
2016-07-24 haftmann 2016-07-24 simplified
2016-05-26 haftmann 2016-05-26 corrected closure scope of static_conv_thingol; clarified implementation and names
2016-05-09 wenzelm 2016-05-09 clarified context, notably for internal use of Simplifier;
2016-04-18 haftmann 2016-04-18 fragment of a HOL type class primer
2015-07-09 wenzelm 2015-07-09 clarified context;
2014-03-12 wenzelm 2014-03-12 modernized setup;
2014-01-01 haftmann 2014-01-01 explicit distinction between empty code equations and no code equations, including convenient declaration attributes
2013-04-10 wenzelm 2013-04-10 more standard module name Axclass (according to file name);
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;