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