#297 (Apr 13, 2017, 12:50:08 AM)

1. merged (detail / hgweb)
2. more informative known_files: known_theories within the local session directory come first;
   more thorough Session.Base.platform_path; (detail / hgweb)
3. less global theories -- conflict with AFP entries; (detail / hgweb)
4. support for known theories files (according to multiple uses); (detail / hgweb)
5. proper display_name; (detail / hgweb)
6. clarified theory_long_name (for qualified access to Thy_Info) vs. short theory_name (which is unique within any given theory context); (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. proper import qualifier for global theories;
   clarified uniqueness; (detail / hgweb)
9. explicit theory qualifier for session "HOL-Proofs": its theory name space overlaps with session "HOL", even for further imports; (detail / hgweb)
10. proper qualifier for imports; (detail / hgweb)
11. clarified, according to Scala version; (detail / hgweb)
12. tuned text; (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. NEWS; (detail / hgweb)
15. more robust: user could provide name with "/" etc.; (detail / hgweb)
16. clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy; (detail / hgweb)
17. added system option record_proofs, which allows to build HOL-Proofs without special Proofs.thy; (detail / hgweb)
18. clarified main CTT.thy, and avoid name clash with global HOL/Main.thy; (detail / hgweb)
19. tuned signature -- prefer qualified names; (detail / hgweb)
20. more qualifier treatment, but in the end it is still ignored; (detail / hgweb)
21. tuned signature; (detail / hgweb)
22. provide Resources.import_name in ML, similar to Scala version;
    reset default_qualifier for now;
    tuned; (detail / hgweb)
23. clarified; (detail / hgweb)
24. more session_base information in ML;
    tuned signature; (detail / hgweb)
25. more operations; (detail / hgweb)
26. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

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