#1192 (Oct 2, 2017, 5:16:08 PM)

1. merged (detail / hgweb)
2. more documentation; (detail / hgweb)
3. clarified imports: prefer parent session images; (detail / hgweb)
4. eliminated old-style no-document imports; (detail / hgweb)
5. proper document; (detail / hgweb)
6. more compact (second-order) digest for 10^2..10^3 source files, with slightly increased risk of collisions; (detail / hgweb)
7. more documentation; (detail / hgweb)
8. tuned; (detail / hgweb)
9. sources_stamp refers to full sources;
   simplified data storage (again); (detail / hgweb)
10. option -S for "isabelle build"; (detail / hgweb)
11. persistent storage of imported_sources; (detail / hgweb)
12. cache sources: invoke SHA1.digest at most once;
    maintain imported_sources, as required for new theories; (detail / hgweb)
13. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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