src/Doc/isar.sty
2015-11-14 haftmann 2015-11-14 prefer "rewrites" and "defines" to note rewrite morphisms
2015-06-13 wenzelm 2015-06-13 more on 'consider' and related concepts;
2015-01-10 wenzelm 2015-01-10 proper latex;
2015-01-10 wenzelm 2015-01-10 tuned latex;
2014-11-14 haftmann 2014-11-14 documentation stubs about permanent_interpretation
2014-10-20 wenzelm 2014-10-20 official support for "tt" style variants, avoid fragile \verb in LaTeX; official document antiquotation @{verbatim};
2014-01-25 wenzelm 2014-01-25 explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
2013-04-09 wenzelm 2013-04-09 more accurate documentation of "(structure)" mixfix;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;