#896 (Mar 22, 2019, 12:50:10 AM)

1. merged (detail / hgweb)
2. tuyned (detail / hgweb)
3. further robustification (amending 772bdd1ed843); (detail / hgweb)
4. added function (detail / hgweb)
5. merged (detail / hgweb)
6. new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map (detail / hgweb)
7. proper ISABELLE_OCAML_VERSION; (detail / hgweb)
8. less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith; (detail / hgweb)
9. more robust "switch create";
   disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04); (detail / hgweb)
10. prefer central root: just one copy of this bulky material; (detail / hgweb)
11. updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 1 hr 32 min build duration;
• 1 hr 32 min total from scheduled to completion.