#
760709a0 |
|
22-Jan-2018 |
wenzelm <none@none> |
tuned message: same error may occur in different contexts;
|
#
8893f0ad |
|
21-Jan-2018 |
wenzelm <none@none> |
detect more errors;
|
#
c22e9d54 |
|
13-Jan-2018 |
wenzelm <none@none> |
tuned messages;
|
#
3d33792a |
|
13-Jan-2018 |
wenzelm <none@none> |
more general error suffixes, e.g. for messages that are broken over several lines;
|
#
bdf261d1 |
|
12-Jan-2018 |
wenzelm <none@none> |
another Latex error seen in the wild: Undefined control sequence. \isamarkupcancel #1->\xout
|
#
f7e9b41d |
|
13-Dec-2017 |
wenzelm <none@none> |
more error information according to @<Print type of token list@> in pdfweb.tex;
|
#
f762827b |
|
13-Dec-2017 |
wenzelm <none@none> |
positions as postlude: avoid intrusion of odd %-forms into main tex source;
|
#
3a5d1b0a |
|
12-Dec-2017 |
wenzelm <none@none> |
clarified file pattern;
|
#
b4f48bf9 |
|
12-Dec-2017 |
wenzelm <none@none> |
simplified positions -- line is also human-readable in generated .tex file;
|
#
53a871bf |
|
11-Dec-2017 |
wenzelm <none@none> |
more robust range on preceding comment-line; no range for blank lines; avoid recursive output_text/mark_range; clarified Latex.output_token (no range) vs. Thy_Output.present_token (with range);
|
#
1f8e1c36 |
|
11-Dec-2017 |
wenzelm <none@none> |
proper file;
|
#
f6eb8d54 |
|
11-Dec-2017 |
wenzelm <none@none> |
clarified file positions;
|
#
5d4cf2ef |
|
10-Dec-2017 |
wenzelm <none@none> |
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
|
#
569254cd |
|
10-Dec-2017 |
wenzelm <none@none> |
more robust Windows support;
|
#
11fe9340 |
|
10-Dec-2017 |
wenzelm <none@none> |
more explicit latex errors;
|
#
ee0c67ba |
|
08-Dec-2017 |
wenzelm <none@none> |
some support for LaTeX;
|