| 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
|