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
|
Wed, 13 Dec 2017 17:42:17 +0100 |
wenzelm |
more error information according to @<Print type of token list@> in pdfweb.tex;
|
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 17:47:23 +0100 |
wenzelm |
clarified file pattern;
|
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
|
Mon, 11 Dec 2017 17:49:47 +0100 |
wenzelm |
proper file;
|
file |
diff |
annotate
|
Mon, 11 Dec 2017 14:10:41 +0100 |
wenzelm |
clarified file positions;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 18:31:41 +0100 |
wenzelm |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 14:45:12 +0100 |
wenzelm |
more robust Windows support;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 14:29:14 +0100 |
wenzelm |
more explicit latex errors;
|
file |
diff |
annotate
|
Fri, 08 Dec 2017 23:43:58 +0100 |
wenzelm |
some support for LaTeX;
|
file |
diff |
annotate
|