| Mon, 15 Nov 2021 11:38:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2021 12:09:58 +0200 |
wenzelm |
clarified keywords: major take precedence for commands, but not used for antiquotations;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 20:25:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2021 07:12:49 +0000 |
haftmann |
antiquotation for bundles
|
file |
diff |
annotate
|
| Tue, 25 May 2021 22:28:39 +0200 |
wenzelm |
compose Latex text as XML, output exported YXML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 23 May 2021 19:29:18 +0200 |
wenzelm |
clarified treatment of type constructors;
|
file |
diff |
annotate
|
| Sun, 23 May 2021 18:04:35 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sun, 23 May 2021 17:35:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 23 May 2021 17:08:34 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
| Sat, 22 May 2021 22:58:10 +0200 |
wenzelm |
more uniform document antiquotations for ML: consolidate former setup for manuals;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 13:07:53 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 20 May 2021 23:33:54 +0200 |
wenzelm |
clarified, e.g. type variables;
|
file |
diff |
annotate
|
| Thu, 20 May 2021 21:21:37 +0200 |
wenzelm |
more ambitious default for index "is like";
|
file |
diff |
annotate
|
| Thu, 20 May 2021 18:32:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 20 May 2021 18:16:13 +0200 |
wenzelm |
support for index entries;
|
file |
diff |
annotate
|
| Thu, 20 May 2021 13:56:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 20 May 2021 13:50:20 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:28:44 +0100 |
wenzelm |
clarified markup (refining 1c59b555ac4a);
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:09:06 +0100 |
wenzelm |
more accurate markup (refining 1c59b555ac4a);
|
file |
diff |
annotate
|
| Wed, 27 May 2020 14:27:22 +0200 |
wenzelm |
check bash functions against Isabelle settings environment;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2020 21:09:02 +0100 |
wenzelm |
escape some special chars, notably for URL#NAME form;
|
file |
diff |
annotate
|
| Thu, 21 Nov 2019 13:25:27 +0100 |
wenzelm |
added document antiquotation @{system_option};
|
file |
diff |
annotate
|
| Fri, 11 Oct 2019 21:51:10 +0200 |
wenzelm |
clarified standard_proof_of: prefer expand_proof over somewhat adhoc strip_thm_proof;
|
file |
diff |
annotate
|
| Tue, 04 Jun 2019 20:49:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 Jun 2019 15:40:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 16:43:02 +0200 |
wenzelm |
strip cartouches from arguments of "embedded" document antiquotations, corresponding to automated update via "isabelle update -u control_cartouches" -- e.g. relevant for documents with thy_output_source (e.g. doc "isar-ref", "jedit", "system");
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 17:24:24 +0100 |
wenzelm |
more markup for various text kinds, notably for nested formal comments;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 21:49:06 +0100 |
wenzelm |
support for isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Tue, 27 Nov 2018 21:07:39 +0100 |
wenzelm |
more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
|
file |
diff |
annotate
|
| Mon, 27 Aug 2018 20:43:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 25 Aug 2018 21:15:43 +0200 |
wenzelm |
more uniform cartouche syntax;
|
file |
diff |
annotate
|
| Fri, 22 Jun 2018 20:31:49 +0200 |
wenzelm |
clarified document antiquotation @{theory};
|
file |
diff |
annotate
|
| Thu, 21 Jun 2018 14:49:21 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 21 Jun 2018 14:29:44 +0200 |
wenzelm |
more uniform syntax;
|
file |
diff |
annotate
|
| Sat, 03 Feb 2018 14:39:17 +0100 |
wenzelm |
avoid proliferation of language_document reports;
|
file |
diff |
annotate
|
| Thu, 25 Jan 2018 14:13:55 +0100 |
wenzelm |
clarified signature: items with \isasep are special;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2018 16:34:24 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 24 Jan 2018 11:56:38 +0100 |
wenzelm |
clarified operations;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 19:09:25 +0100 |
wenzelm |
more uniform output of source / text / theory_text, with handling of formal comments etc.;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 14:55:46 +0100 |
wenzelm |
formal treatment of documentation names;
|
file |
diff |
annotate
|
| Fri, 19 Jan 2018 11:34:41 +0100 |
wenzelm |
tuned output of plain name;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 08 Jan 2018 23:45:43 +0100 |
wenzelm |
theory Pure is default presentation context;
|
file |
diff |
annotate
|
| Sun, 07 Jan 2018 13:45:21 +0100 |
wenzelm |
output token content with formal comments and antiquotations;
|
file |
diff |
annotate
|
| Sat, 06 Jan 2018 21:25:16 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 06 Jan 2018 21:05:51 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 13 Dec 2017 16:18:40 +0100 |
wenzelm |
positions as postlude: avoid intrusion of odd %-forms into main tex source;
|
file |
diff |
annotate
|
| Tue, 12 Dec 2017 16:12:48 +0100 |
wenzelm |
simplified positions -- line is also human-readable in generated .tex file;
|
file |
diff |
annotate
|
| Mon, 11 Dec 2017 17:52:05 +0100 |
wenzelm |
more robust range on preceding comment-line;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2017 18:59:33 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
| Mon, 12 Jun 2017 11:32:23 +0200 |
wenzelm |
more markup for HTML rendering;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:49:02 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
| Mon, 23 May 2016 21:30:30 +0200 |
wenzelm |
embedded content may be delimited via cartouches;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 17:56:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 05 Mar 2016 19:14:04 +0100 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|
| Tue, 02 Feb 2016 15:04:39 +0100 |
wenzelm |
proper markup for formal text;
|
file |
diff |
annotate
|
| Fri, 22 Jan 2016 14:46:02 +0100 |
wenzelm |
tuned markup, e.g. relevant for Rendering.tooltip;
|
file |
diff |
annotate
|
| Tue, 12 Jan 2016 15:43:26 +0100 |
wenzelm |
more explicit errors for control symbols that are left-over after Markdown parsing;
|
file |
diff |
annotate
|