| Fri, 04 Oct 2024 13:22:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 19 Jan 2023 11:42:01 +0100 |
wenzelm |
more complete index;
|
file |
diff |
annotate
|
| Mon, 16 Jan 2023 13:48:03 +0100 |
wenzelm |
clarified documentation: avoid odd speculations about PIDE;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2023 16:28:03 +0100 |
wenzelm |
clarified treatment of cite macro name;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2023 23:50:13 +0100 |
wenzelm |
update documentation: prefer control-symbol-cartouche form of "cite" antiquotations;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2021 07:12:49 +0000 |
haftmann |
antiquotation for bundles
|
file |
diff |
annotate
|
| Sun, 23 May 2021 19:29:18 +0200 |
wenzelm |
clarified treatment of type constructors;
|
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
|
| Wed, 27 May 2020 14:27:22 +0200 |
wenzelm |
check bash functions against Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 21 Nov 2019 13:25:27 +0100 |
wenzelm |
added document antiquotation @{system_option};
|
file |
diff |
annotate
|
| Fri, 12 Apr 2019 22:57:17 +0200 |
wenzelm |
updated documentation;
|
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
|
| Thu, 11 Apr 2019 15:44:06 +0200 |
wenzelm |
added document antiquotation option "cartouche";
|
file |
diff |
annotate
|
| Sun, 24 Mar 2019 13:48:46 +0100 |
wenzelm |
documentation of document markers and re-interpreted command tags;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
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:29:44 +0200 |
wenzelm |
more uniform syntax;
|
file |
diff |
annotate
|
| Fri, 29 Dec 2017 17:40:57 +0100 |
wenzelm |
formal check of @{cite} bibtex entries -- only in batch-mode session builds;
|
file |
diff |
annotate
|
| Fri, 22 Dec 2017 18:32:59 +0100 |
wenzelm |
discontinued 'display_drafts' command;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 21:53:07 +0100 |
wenzelm |
added document antiquotation @{session name};
|
file |
diff |
annotate
|
| Tue, 05 Dec 2017 15:55:14 +0100 |
wenzelm |
explicit tag for document commands: avoid implicit use of document_tags;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Fri, 12 Aug 2016 13:16:04 +0200 |
wenzelm |
more uniform path syntax (like url);
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Wed, 20 Jul 2016 21:26:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Tue, 24 May 2016 16:03:03 +0200 |
wenzelm |
clarified syntax category names according to Isabelle/ML/Scala;
|
file |
diff |
annotate
|
| Mon, 23 May 2016 21:30:30 +0200 |
wenzelm |
embedded content may be delimited via cartouches;
|
file |
diff |
annotate
|
| Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|