#1343 (Dec 14, 2017, 11:52:04 AM)

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

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 40 min build duration;
• 1 hr 45 min total from scheduled to completion.