Tue, 25 May 2021 22:28:39 +0200 |
wenzelm |
compose Latex text as XML, output exported YXML in Isabelle/Scala;
|
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
|
Sat, 22 May 2021 21:52:13 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
Sat, 22 May 2021 13:35:25 +0200 |
wenzelm |
clarified index antiquotation for ML: more ambitious type-setting, more accurate syntax;
|
file |
diff |
annotate
|
Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 21 May 2021 11:19:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 18 May 2021 21:09:51 +0200 |
wenzelm |
show symbols in Isabelle/ML instead of perl;
|
file |
diff |
annotate
|
Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
Wed, 27 May 2020 21:02:44 +0200 |
wenzelm |
adapted to d25093536482;
|
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
|
Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
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
|
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
|
Thu, 21 Sep 2017 12:47:16 +0200 |
wenzelm |
avoid duplicate message for @{action} in particular (see also @{action} within Pure);
|
file |
diff |
annotate
|
Sun, 03 Apr 2016 21:32:57 +0200 |
wenzelm |
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
|
file |
diff |
annotate
|
Sun, 20 Dec 2015 13:06:26 +0100 |
wenzelm |
renamed Pretty.str_of to Pretty.unformatted_string_of to emphasize its meaning;
|
file |
diff |
annotate
|
Tue, 10 Nov 2015 22:20:46 +0100 |
wenzelm |
more thorough check_action, including completion;
|
file |
diff |
annotate
|
Tue, 10 Nov 2015 21:52:18 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 10 Nov 2015 20:49:48 +0100 |
wenzelm |
more thorough check_command, including completion;
|
file |
diff |
annotate
|
Tue, 10 Nov 2015 20:10:17 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 10 Nov 2015 19:56:51 +0100 |
wenzelm |
unused;
|
file |
diff |
annotate
|
Tue, 10 Nov 2015 19:50:56 +0100 |
wenzelm |
ignore pointless/unused options;
|
file |
diff |
annotate
|
Sat, 17 Oct 2015 20:27:12 +0200 |
wenzelm |
clarified Latex.environment;
|
file |
diff |
annotate
|
Wed, 25 Mar 2015 11:39:52 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 22 Dec 2014 16:44:24 +0100 |
wenzelm |
system option "pretty_margin" is superseded by "thy_output_margin";
|
file |
diff |
annotate
|
Wed, 03 Dec 2014 14:04:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|