| Fri, 20 Sep 2024 14:28:13 +0200 |
wenzelm |
clarified signature: more explicit operations;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2022 16:35:39 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Nov 2022 20:10:35 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 03 Nov 2022 12:54:57 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Nov 2022 12:52:06 +0100 |
wenzelm |
prefer abstract command kind (in contrast to 367f4512e65c);
|
file |
diff |
annotate
|
| Wed, 02 Nov 2022 10:24:44 +0100 |
wenzelm |
clarified signature: do not require finished theory;
|
file |
diff |
annotate
|
| Mon, 06 Dec 2021 15:34:54 +0100 |
wenzelm |
discontinued old-style {* verbatim *} tokens;
|
file |
diff |
annotate
|
| Sun, 05 Dec 2021 16:26:03 +0100 |
wenzelm |
prefer symbolic Latex.environment (typeset in Isabelle/Scala);
|
file |
diff |
annotate
|
| Wed, 24 Nov 2021 15:33:43 +0100 |
wenzelm |
more uniform treatment of optional_argument for Latex elements;
|
file |
diff |
annotate
|
| Tue, 23 Nov 2021 20:46:40 +0100 |
wenzelm |
more general document output: enclosing markup is defined in user-space;
|
file |
diff |
annotate
|
| Tue, 23 Nov 2021 16:06:09 +0100 |
wenzelm |
output for document commands like 'section', 'text' is defined in user-space, as part of the command transaction;
|
file |
diff |
annotate
|
| Tue, 23 Nov 2021 12:29:09 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 22 Nov 2021 16:49:58 +0100 |
wenzelm |
source positions for document markup commands, e.g. to retrieve PIDE markup in presentation;
|
file |
diff |
annotate
|
| Sat, 20 Nov 2021 20:42:41 +0100 |
wenzelm |
more symbolic latex_output via XML (using YXML within text);
|
file |
diff |
annotate
|
| Sat, 20 Nov 2021 18:15:09 +0100 |
wenzelm |
more symbolic latex_output via XML;
|
file |
diff |
annotate
|
| Mon, 15 Nov 2021 17:26:31 +0100 |
wenzelm |
more symbolic latex_output via XML;
|
file |
diff |
annotate
|
| Mon, 15 Nov 2021 11:38:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 13 Nov 2021 17:22:10 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 28 Sep 2021 16:01:13 +0200 |
wenzelm |
outer syntax: support for control-cartouche tokens;
|
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
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|