2016-02-10 wenzelm 2016-02-10 misc tuning;
2016-02-07 wenzelm 2016-02-07 more explicit dummy proofs;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c;
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2015-10-12 wenzelm 2015-10-12 more symbols;
2015-10-12 wenzelm 2015-10-12 redundant due to \parindent 0pt;
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 modernized header uniformly as section;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485