#769 (Oct 22, 2018, 12:59:36 AM)

1. tagged 8 theories for the Analysis manual. (detail / hgweb)
2. merged (detail / hgweb)
3. more robust release.read_ident: eliminated odd state files ISABELLE_IDENT, ISABELLE_DIST; (detail / hgweb)
4. more portable tar_options; (detail / hgweb)
5. check (non-)executable files -- and eliminate them manually from the repository) (detail / hgweb)
6. eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
   eliminated "isabelle news";
   roper title in NEWS.html;
   more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC;
   misc tuning and clarification; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. updated PLATFORMS; (detail / hgweb)
10. uniform naming of strong congruence rules (detail / hgweb)
11. added lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 9 min 34 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 26 min total from scheduled to completion.