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