src/Doc/more_antiquote.ML
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;