src/Pure/Thy/document_antiquotations.ML
Thu, 21 Jun 2018 14:29:44 +0200 wenzelm more uniform syntax;
Sat, 03 Feb 2018 14:39:17 +0100 wenzelm avoid proliferation of language_document reports;
Thu, 25 Jan 2018 14:13:55 +0100 wenzelm clarified signature: items with \isasep are special;
Wed, 24 Jan 2018 16:34:24 +0100 wenzelm clarified signature;
Wed, 24 Jan 2018 11:56:38 +0100 wenzelm clarified operations;
Fri, 19 Jan 2018 19:09:25 +0100 wenzelm more uniform output of source / text / theory_text, with handling of formal comments etc.;
Fri, 19 Jan 2018 14:55:46 +0100 wenzelm formal treatment of documentation names;
Fri, 19 Jan 2018 11:34:41 +0100 wenzelm tuned output of plain name;
Thu, 18 Jan 2018 21:41:30 +0100 wenzelm clarified access to antiquotation options;
Tue, 09 Jan 2018 15:40:12 +0100 wenzelm clarified modules;
Mon, 08 Jan 2018 23:45:43 +0100 wenzelm theory Pure is default presentation context;
Sun, 07 Jan 2018 13:45:21 +0100 wenzelm output token content with formal comments and antiquotations;
Sat, 06 Jan 2018 21:25:16 +0100 wenzelm clarified signature;
Sat, 06 Jan 2018 21:05:51 +0100 wenzelm clarified modules;
Wed, 13 Dec 2017 16:18:40 +0100 wenzelm positions as postlude: avoid intrusion of odd %-forms into main tex source;
Tue, 12 Dec 2017 16:12:48 +0100 wenzelm simplified positions -- line is also human-readable in generated .tex file;
Mon, 11 Dec 2017 17:52:05 +0100 wenzelm more robust range on preceding comment-line;
Wed, 06 Dec 2017 18:59:33 +0100 wenzelm prefer control symbol antiquotations;
Mon, 12 Jun 2017 11:32:23 +0200 wenzelm more markup for HTML rendering;
Fri, 12 Aug 2016 17:49:02 +0200 wenzelm clarified syntax;
Mon, 23 May 2016 21:30:30 +0200 wenzelm embedded content may be delimited via cartouches;
Fri, 01 Apr 2016 17:56:14 +0200 wenzelm tuned signature;
Sat, 05 Mar 2016 19:14:04 +0100 wenzelm more PIDE markup;
Tue, 02 Feb 2016 15:04:39 +0100 wenzelm proper markup for formal text;
Fri, 22 Jan 2016 14:46:02 +0100 wenzelm tuned markup, e.g. relevant for Rendering.tooltip;
Tue, 12 Jan 2016 15:43:26 +0100 wenzelm more explicit errors for control symbols that are left-over after Markdown parsing;
Tue, 05 Jan 2016 13:48:51 +0100 wenzelm updated headers;
Wed, 09 Dec 2015 16:36:26 +0100 wenzelm clarified type Token.src: plain token list, with usual implicit value assignment;
Wed, 25 Nov 2015 15:58:22 +0100 wenzelm observe option "indent";
Thu, 19 Nov 2015 22:06:14 +0100 wenzelm trim lines for @{theory_text} similarly to @{text};
Thu, 19 Nov 2015 20:55:40 +0100 wenzelm tuned;
Fri, 13 Nov 2015 19:59:28 +0100 wenzelm added antiquotation @{doc}, e.g. useful for demonstration purposes;
Tue, 10 Nov 2015 23:21:02 +0100 wenzelm added @{command}, @{method}, @{attribute};
Tue, 10 Nov 2015 21:31:14 +0100 wenzelm clarified modules;
less more (0) tip