#293 (Apr 6, 2017, 12:50:10 AM)

1. merged (detail / hgweb)
2. misc tuning and modernization; (detail / hgweb)
3. uniform import_name, with treatment of global and qualified theories; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. more concise criterion (detail / hgweb)
6. tuned (detail / hgweb)
7. more on lists (detail / hgweb)
8. store totality fact in function info (detail / hgweb)
9. allow to load this into "isabelle jedit -l HOL"; (detail / hgweb)
10. print like syntax of Thy_Header.header; (detail / hgweb)
11. more explicit types; (detail / hgweb)
12. proper name according to meaning; (detail / hgweb)
13. more main sessions and global theories; (detail / hgweb)
14. eliminated redundant imports; (detail / hgweb)
15. eliminated Plain_HOLCF.thy (see also 8e92772bc0e8): it was modeled after HOL/Plain.thy which was discontinued later; (detail / hgweb)
16. tuned (see also 1fa1023b13b9); (detail / hgweb)
17. tuned header; (detail / hgweb)
18. tuned signature; (detail / hgweb)
19. proper base name; (detail / hgweb)
20. tuned; (detail / hgweb)
21. tuned syntax;
    some official documentation; (detail / hgweb)
22. clarified: allow to qualify theories from ROOT; (detail / hgweb)
23. refer to global_theories from all sessions, before selection; (detail / hgweb)
24. tuned signature; (detail / hgweb)
25. tuned; (detail / hgweb)
26. macbroy30 is on 10.12 Sierra (already since 04-Mar-2017) -- discontinued support for 10.8 Mountain Lion; (detail / hgweb)
27. back to more liberal imports (amending 908a27a4b9c9): tolerate mixed situations like "GCD" vs. "~~/src/HOL/GCD"; (detail / hgweb)
28. tuned headers; (detail / hgweb)
29. proper imports;
    tuned headers; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.