| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Wed, 24 Nov 2021 22:57:33 +0100 |
wenzelm |
option document_comment_latex supports e.g. Dagstuhl LIPIcs;
|
file |
diff |
annotate
|
| Wed, 24 Nov 2021 21:04:39 +0100 |
wenzelm |
more explicit type Latex.Tags;
|
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 21:02:13 +0100 |
wenzelm |
example: alternative document headings, based on more general document output markup;
|
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:58:23 +0100 |
wenzelm |
Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.;
|
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
|
| Sun, 14 Nov 2021 20:40:41 +0100 |
wenzelm |
more symbolic latex output;
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 17:46:41 +0100 |
wenzelm |
symbolic latex_output via XML, interpreted in Isabelle/Scala;
|
file |
diff |
annotate
|
| Sun, 14 Nov 2021 15:42:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 13 Nov 2021 16:43:04 +0100 |
wenzelm |
clarified signature: Latex.Output as parameter to Document_Build.Engine;
|
file |
diff |
annotate
|
| Wed, 10 Nov 2021 19:45:30 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 25 May 2021 23:12:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 25 May 2021 23:04:29 +0200 |
wenzelm |
tuned;
|
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
|
| Wed, 19 May 2021 10:41:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 23 Mar 2021 13:27:15 +0100 |
wenzelm |
turn LaTeX warning into error, for the sake of isabelle.sty/bbbfont;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 22 Apr 2020 18:37:09 +0200 |
wenzelm |
tuned -- avoid odd compiler warning;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 25 Nov 2019 12:41:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 22 Jan 2018 11:23:42 +0100 |
wenzelm |
tuned message: same error may occur in different contexts;
|
file |
diff |
annotate
|
| Sun, 21 Jan 2018 13:40:28 +0100 |
wenzelm |
detect more errors;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 20:30:52 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 15:18:51 +0100 |
wenzelm |
more general error suffixes, e.g. for messages that are broken over several lines;
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 12:51:03 +0100 |
wenzelm |
another Latex error seen in the wild:
|
file |
diff |
annotate
|