#433 (Oct 3, 2017, 12:50:10 AM)

1. misc tuning and modernization; (detail / hgweb)
2. discontinued obsolete 'files' in session ROOT; (detail / hgweb)
3. prefer file dependencies wrt. specific theories; (detail / hgweb)
4. added command 'external_file'; (detail / hgweb)
5. proper document (cf. 9f5bfef8bd82); (detail / hgweb)
6. removed pointless dependencies: done by 'spark_open'; (detail / hgweb)
7. merged (detail / hgweb)
8. more documentation; (detail / hgweb)
9. clarified imports: prefer parent session images; (detail / hgweb)
10. eliminated old-style no-document imports; (detail / hgweb)
11. proper document; (detail / hgweb)
12. more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions; (detail / hgweb)
13. more documentation; (detail / hgweb)
14. tuned; (detail / hgweb)
15. sources_stamp refers to full sources;
    simplified data storage (again); (detail / hgweb)
16. option -S for "isabelle build"; (detail / hgweb)
17. persistent storage of imported_sources; (detail / hgweb)
18. cache sources: invoke SHA1.digest at most once;
    maintain imported_sources, as required for new theories; (detail / hgweb)
19. tuned; (detail / hgweb)
20. repaired small incident (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.