#1368 (Dec 28, 2017, 11:52:08 PM)

1. clarified check, notably for bibtex theory (amending 5f082b1fa9fa); (detail / hgweb)
2. NEWS; (detail / hgweb)
3. proper check for imports, not just ROOT entries; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. implicit thy_load context for bibtex files (VSCode); (detail / hgweb)
6. bibtex theory is always required and thus eventually consolidated; (detail / hgweb)
7. implicit thy_load context for bibtex files; (detail / hgweb)
8. clarified signature: prefer Document.Node.Name.is_bibtex; (detail / hgweb)
9. avoid spurious noise: Prover IDE is meant to check for errors; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. avoid clash with special files in HTML output; (detail / hgweb)
12. unused; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. prefer existing Resources.check_path; (detail / hgweb)
15. more accurate bibtex entries; (detail / hgweb)
16. added command 'bibtex_file' (for PIDE interaction only); (detail / hgweb)
17. clarified default position for empty message pos; (detail / hgweb)

Started by an SCM change

This run spent:

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