src/Doc/Isar_Ref/Outer_Syntax.thy
2018-01-16 ago more documentation;
2017-10-25 ago more documentation;
2016-07-20 ago clarified imports;
2016-06-11 ago clarified syntax;
2016-05-30 ago tuned;
2016-05-30 ago allow 'for' fixes for multi_specs;
2016-05-24 ago updated;
2016-05-24 ago simplified syntax;
2016-05-24 ago clarified syntax category names according to Isabelle/ML/Scala;
2016-05-24 ago simplified syntax: Parse.term corresponds to Args.term etc.;
2016-05-23 ago embedded content may be delimited via cartouches;
2016-04-13 ago eliminated "xname" and variants;
2016-01-13 ago updated section on "Overloaded constant definitions";
2015-11-13 ago tuned;
2015-11-13 ago tuned whitespace;
2015-11-13 ago more documentation;
2015-11-13 ago more uniform jEdit properties;
2015-11-05 ago symbolic syntax "\<comment> text";
2015-10-22 ago more control symbols;
2015-10-21 ago proper spaces around @{text};
2015-10-20 ago isabelle update_cartouches -t;
2015-10-18 ago more control symbols;
2015-10-18 ago clarified control antiquotations: decode control symbol to get name;
2015-10-18 ago more documentation;
2015-10-16 ago Markdown support in document text;
2015-10-14 ago more symbols;
2015-10-12 ago more symbols;
2015-09-22 ago separate command 'print_definitions';
2015-07-06 ago clarified sections;
2015-07-02 ago documentation for 'subgoal' command;
2015-05-06 ago tuned;
2015-04-18 ago tuned;
2015-03-30 ago more uniform syntax for named instantiations;
2015-03-23 ago clarified syntax category "fixes";
2014-11-01 ago command-line terminator ";" is no longer accepted;
2014-10-31 ago discontinued Proof General;
2014-10-20 ago tuned exposition of {* ... *};
2014-10-20 ago more antiquotations;
2014-10-07 ago more cartouches;
2014-10-05 ago prefer @{cite} antiquotation;
2014-04-09 ago allow text cartouches in regular outer syntax categories "text" and "altstring";
2014-04-08 ago even more standardized doc session names after #b266e7a86485