#850 (Apr 21, 2017, 9:10:07 PM)

1. two new induction principles on multisets (detail / hgweb)
2. merged (detail / hgweb)
3. clarified session imports; (detail / hgweb)
4. clarified standard_import: based on Known.get_file as in PIDE editors; (detail / hgweb)
5. afford unconditional all_known = true (reverting ea42dfd95ec8), for practical usability of qualified imports from arbitrary sessions; (detail / hgweb)
6. proper imports_resources for import_name: avoid self-referential name resolution; (detail / hgweb)
7. more precise position information; (detail / hgweb)
8. tuned imports; (detail / hgweb)
9. proper "~~" backup as documented; (detail / hgweb)
10. clarified: explicit check of result; (detail / hgweb)
11. clarified imports; (detail / hgweb)
12. clarified local_theories: exclude ancestor sessions; (detail / hgweb)
13. more standard master_dir; (detail / hgweb)
14. eliminated default_qualifier: just a constant; (detail / hgweb)
15. more uniform isabelle_scala;
    more uniform ISABELLE_SCALAC_OPTIONS with heap options; (detail / hgweb)
16. include imports that morally belong to Main and are used in HOL-Proofs applications; (detail / hgweb)
17. tuned; (detail / hgweb)
18. proper theory_qualifier; (detail / hgweb)
19. more global theories; (detail / hgweb)
20. actual update_imports operations; (detail / hgweb)
21. more operations; (detail / hgweb)
22. tuned signature; (detail / hgweb)
23. more operations; (detail / hgweb)
24. tuned signature; (detail / hgweb)
25. tuned whitespace; (detail / hgweb)
26. clarified; (detail / hgweb)
27. store Sessions.Info.name; (detail / hgweb)
28. wrapper for "isabelle update_imports" with selection options like "isabelle build"; (detail / hgweb)
29. more position information; (detail / hgweb)

Started by an SCM change (2 times)

This run spent:

• 5 min 4 sec waiting;
• 3 hr 2 min build duration;
• 3 hr 7 min total from scheduled to completion.