2015-03-23 wenzelm 2015-03-23 tuned syntax diagrams -- no duplication of "target";
2014-12-09 wenzelm 2014-12-09 proper railsetup;
2014-11-13 wenzelm 2014-11-13 uniform treatment of all document markup commands: 'text' and 'txt' merely differ in LaTeX style; discontinued obsolete 'txt_raw' (superseded by 'text_raw'); eliminated obsolete Outer_Syntax.markup (superseded by keyword kinds); 'text' and 'txt' no longer appear in Sidekick tree due to change of keyword kind; changed tagging of diagnostic commands within proof;
2014-11-02 wenzelm 2014-11-02 uniform heading commands work in any context, even in theory header; discontinued obsolete 'sect', 'subsect', 'subsubsect'; marked obsolete 'header' as legacy;
2014-10-20 wenzelm 2014-10-20 tuned exposition of {* ... *};
2014-10-20 wenzelm 2014-10-20 more antiquotations; tuned spacing;
2014-10-20 wenzelm 2014-10-20 official support for "tt" style variants, avoid fragile \verb in LaTeX; official document antiquotation @{verbatim};
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-06 wenzelm 2014-10-06 documentation of @{cite} and cite_macro;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-08-28 wenzelm 2014-08-28 more liberal embedded "text", which includes cartouches;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485