src/Doc/Isar_Ref/Inner_Syntax.thy
2016-01-09 wenzelm 2016-01-09 discontinued \<struct> syntax;
2016-01-08 wenzelm 2016-01-08 tuned whitespace;
2015-12-30 wenzelm 2015-12-30 updated print modes;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-04 wenzelm 2015-11-04 more antiquotations;
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-17 wenzelm 2015-10-17 clarified nesting of paragraphs: indentation is taken into account more uniformly; tuned;
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-10-12 wenzelm 2015-10-12 @{verbatim [display]} supersedes old alltt/ttbox;
2015-09-09 wenzelm 2015-09-09 eliminated \<Colon> from syntax of constraints;
2015-05-06 wenzelm 2015-05-06 tuned;
2015-05-04 wenzelm 2015-05-04 tuned spelling;
2015-03-23 wenzelm 2015-03-23 tuned syntax diagrams -- no duplication of "target";
2014-10-31 wenzelm 2014-10-31 discontinued Proof General;
2014-10-22 wenzelm 2014-10-22 repaired rail diagram (cf. 8450b944e58a);
2014-10-20 wenzelm 2014-10-20 more accurate approximation of AST;
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-09-22 wenzelm 2014-09-22 discontinued old "xnum" token category; simplified Lexicon.read_num, Lexicon.read_float: no sign here; express ZF numerals via "num" with mixfix grammar; recovered printing of ZF numerals: "one" is abbreviation;
2014-09-21 haftmann 2014-09-21 explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
2014-09-21 haftmann 2014-09-21 corrected slip in documentation
2014-07-01 wenzelm 2014-07-01 more on ML options; suppress somewhat old Pretty.margin_default;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485