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