#303 (Apr 22, 2017, 1:29:53 AM)

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

Started by an SCM change

This run spent:

• 39 min waiting;
• 1 hr 32 min build duration;
• 2 hr 12 min total from scheduled to completion.