#1321 (Nov 3, 2020, 12:50:07 AM)

1. tuned defs and proofs (detail / hgweb)
2. tuned; (detail / hgweb)
3. back to normal; (detail / hgweb)
4. use min_height as in (much of?) the literature (detail / hgweb)
5. use alternative server: https://isabelle.in.tum.de/components is down; (detail / hgweb)
6. merged (detail / hgweb)
7. back to dynamic library_call: not quite portable, e.g. different Windows installations (see e0c6522d5d43, 7cb68b5b103d) (detail / hgweb)
8. bundle mixins for locale and class specifications (detail / hgweb)
9. proper build_call for interpreted ARM platform; (detail / hgweb)
10. prefer static library_call, following recent changes to structure Foreign; (detail / hgweb)
11. updated to polyml-test-cf46747fee61 --- follow current ongoing development, with notable changes to structure Foreign; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 28 min total from scheduled to completion.