src/Doc/Isar_Ref/Document_Preparation.thy
18 months ago wenzelm 2017-12-16 added document antiquotation @{session name}; renamed protocol function "Prover.session_base" to "Prover.init_session_base" according to the ML/Scala operation;
18 months ago wenzelm 2017-12-05 explicit tag for document commands: avoid implicit use of document_tags;
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-12 wenzelm 2016-08-12 more uniform path syntax (like url);
2016-08-11 wenzelm 2016-08-11 clarified antiquotations;
2016-07-20 wenzelm 2016-07-20 clarified imports; tuned;
2016-05-24 wenzelm 2016-05-24 clarified syntax category names according to Isabelle/ML/Scala;
2016-05-23 wenzelm 2016-05-23 embedded content may be delimited via cartouches;
2016-04-13 wenzelm 2016-04-13 eliminated "xname" and variants;
2016-04-13 wenzelm 2016-04-13 clarified syntax;
2016-04-07 wenzelm 2016-04-07 section headings for ROOT.ML;
2016-02-07 wenzelm 2016-02-07 more on "Markdown-like text structure";
2015-12-30 wenzelm 2015-12-30 updated print modes;
2015-11-13 wenzelm 2015-11-13 more uniform jEdit properties;
2015-11-10 wenzelm 2015-11-10 tuned whitespace;
2015-11-10 wenzelm 2015-11-10 added @{command}, @{method}, @{attribute};
2015-11-10 wenzelm 2015-11-10 added document antiquotation @{theory_text}; tuned document;
2015-11-06 wenzelm 2015-11-06 more formal treatment of control symbols;
2015-10-22 wenzelm 2015-10-22 tuned;
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-20 wenzelm 2015-10-20 another antiquotation short form: undecorated cartouche as alias for @{text}; document antiquotation @{text} ignores option "source";
2015-10-18 wenzelm 2015-10-18 tuned;
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-18 wenzelm 2015-10-18 clarified;
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-17 wenzelm 2015-10-17 added 'paragraph', 'subparagraph';
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-05-17 wenzelm 2015-05-17 tuned;
2015-05-06 wenzelm 2015-05-06 tuned;
2015-04-06 wenzelm 2015-04-06 clarified rail syntax;
2015-04-03 wenzelm 2015-04-03 more uniform "verbose" option to print name space;
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