#1300 (Oct 10, 2020, 12:50:05 AM)

1. component csdp-6.2.0 for testing: example #2 in theory HOL-ex.SOS fails with return code 206; (detail / hgweb)
2. build Isabelle CSDP component from official downloads; (detail / hgweb)
3. rebuild component following current "isabelle build_e" and Admin/PLATFORMS; (detail / hgweb)
4. proper support for Windows/Cygwin; (detail / hgweb)
5. build Isabelle SPASS component from unofficial download; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified according to Isabelle_System.download; (detail / hgweb)
8. misc tuning; (detail / hgweb)
9. rebuild component following current "isabelle build_e" and Admin/PLATFORMS; (detail / hgweb)
10. discontinued unused eproof_ram (actually absent in version 2.5); (detail / hgweb)
11. discontinued obsolete runepar.pl (see 4a3169d8885c); (detail / hgweb)

Started by an SCM change

This run spent:

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