src/Doc/Isar_Ref/Outer_Syntax.thy
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