Changes

Summary

1. NEWS;
2. merged
3. purge more carefully (amending 26f548370e8d); recovered 'display_drafts';
4. more error information according to @<Print type of token list@> in pdfweb.tex;
5. avoid redundant positions;
6. positions as postlude: avoid intrusion of odd %-forms into main tex source;
7. scan only one line, for more detailed positions;
8. purge more thoroughly;
9. option document_positions;
10. clarified file pattern;
11. ensure separation of TeX tokens;
12. simplified positions -- line is also human-readable in generated .tex file;
13. tuned message;
14. avoid excessive whitespace between antiquotations and text;
15. updated documentation;
16. 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);
17. proper file;
18. clarified file positions;
19. more operations;
20. tuned messages;
21. clean log file on Windows;
22. avoid println with its extra CR on Windows;
23. removed obsolete option (see 74a1b722507e);
24. re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
25. removed Emacs legacy;
26. more robust Windows support;
27. more explicit latex errors;
28. some support for LaTeX;