#1329 (Nov 12, 2020, 1:46:59 AM)

1. more interrupts; (detail / hgweb)
2. merged (detail / hgweb)
3. clarified build_doc, based on Present.build_documents; (detail / hgweb)
4. obsolete, build happens in clean tmp_dir; (detail / hgweb)
5. redundant, see prepare_dir; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. build documents in Isabelle/Scala, based on generated tex files as session exports;
   reworked "isabelle document" for quasi-offline document builds: similar functionality included in "isabelle build -o document=pdf"; (detail / hgweb)
8. more operations; (detail / hgweb)
9. more operations (as in Isabelle/ML); (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned; (detail / hgweb)
12. mult_le_cancel_iff1, mult_le_cancel_iff2, mult_less_iff1 generalised from the real_ versions (detail / hgweb)
13. merged (detail / hgweb)
14. cleanup (detail / hgweb)

Started by an SCM change

This run spent:

• 56 min waiting;
• 1 hr 27 min build duration;
• 2 hr 24 min total from scheduled to completion.