#784 (Nov 9, 2018, 12:50:09 AM)

1. NEWS; (detail / hgweb)
2. isabelle update_cartouches -t; (detail / hgweb)
3. update ROOT files as well: treated like .thy in Isabelle/jEdit; (detail / hgweb)
4. clarified isabelle_fonts license, to be used when the component is updated next time; (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup; (detail / hgweb)
7. always insist in specified resolver/compiler version; (detail / hgweb)
8. proper ML expressions, without trailing semicolons; (detail / hgweb)
9. insist in specified resolver/compiler version; (detail / hgweb)
10. simplified -- according to regular "ghci" script; (detail / hgweb)
11. clarified ML positions (see also 1a52baa70aed); (detail / hgweb)
12. more standard Resources.provide_parse_files: avoid duplicate markup reports; (detail / hgweb)
13. more uniform (see 1722cc56d22e); (detail / hgweb)
14. removed relics of ASCII syntax for indexed big operators (detail / hgweb)

Started by an SCM change

This run spent:

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