#1345 (Nov 29, 2020, 2:50:05 AM)

1. clarified files; (detail / hgweb)
2. tuned whitespace; (detail / hgweb)
3. clarified parsing vs. semantic errors; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. added document antiquotation @{tool};
   formal check of isabelle tools via Isabelle/Scala; (detail / hgweb)
6. more robust isabelle_scala_files;
   clarified evaluation; (detail / hgweb)
7. avoid conflicting base names; (detail / hgweb)
8. clarified protocol: Doc.check at run-time via Scala function; (detail / hgweb)
9. more antiquotations (reverting 4df341249348); (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned signature --- more explicit types; (detail / hgweb)
12. more positions; (detail / hgweb)
13. support for Scala compile-time positions; (detail / hgweb)
14. clarified modules; (detail / hgweb)
15. more robust (amending a4d7da18ac5c); (detail / hgweb)
16. merged (detail / hgweb)
17. merged (detail / hgweb)
18. More removal of apply (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 0 min waiting;
• 1 hr 28 min build duration;
• 3 hr 28 min total from scheduled to completion.