#783 (Nov 8, 2018, 12:50:11 AM)

1. tuned; (detail / hgweb)
2. obsolete; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex); (detail / hgweb)
5. more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations; (detail / hgweb)
6. merged (detail / hgweb)
7. proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e); (detail / hgweb)
8. dedicated examples for sorting (detail / hgweb)
9. more direct implementations of comparators (detail / hgweb)
10. generic merge sort (detail / hgweb)

Started by an SCM change

This run spent:

• 10 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.