#913 (Apr 10, 2019, 12:50:06 AM)

1. merged (detail / hgweb)
2. More homology material (detail / hgweb)
3. common type class for distributive division (detail / hgweb)
4. regenerated using isabelle regenerate_cooper (detail / hgweb)
5. more explicit way to re-generate ~~/src/HOL/Tools/Qelim/cooper_procedure.ML (detail / hgweb)
6. some more explicit document structure (detail / hgweb)
7. merged (detail / hgweb)
8. new Homology target, depending on HOL-Algebra and HOL-Analysis (detail / hgweb)
9. merged (detail / hgweb)
10. NEWS on homology (detail / hgweb)
11. First tranche of the Homology development: Simplices
    [dummy commit to run testboard again] (detail / hgweb)
12. updated to bib2xhtml-20190409: current repository clone; (detail / hgweb)
13. proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option); (detail / hgweb)
14. back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel); (detail / hgweb)
15. tuned -- prefer Isar command 'compile_generated_files'; (detail / hgweb)
16. back to more robust "standard" anti-aliasing (reverting f610115ca3d0): sub-pixel rendering can have odd color effects, even on high-end displays; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.