paulson <lp15@cam.ac.uk> [Fri, 22 Mar 2019 12:34:49 +0000] rev 70127
New abstract topological material
nipkow [Thu, 21 Mar 2019 19:46:26 +0100] rev 70126
merged
nipkow [Thu, 21 Mar 2019 19:46:12 +0100] rev 70125
tuyned
wenzelm [Thu, 21 Mar 2019 16:16:43 +0100] rev 70124
further robustification (amending 772bdd1ed843);
nipkow [Thu, 21 Mar 2019 15:51:04 +0100] rev 70123
added function
paulson [Thu, 21 Mar 2019 14:18:37 +0000] rev 70122
merged
paulson <lp15@cam.ac.uk> [Thu, 21 Mar 2019 14:18:22 +0000] rev 70121
new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map
wenzelm [Thu, 21 Mar 2019 14:54:25 +0100] rev 70120
proper ISABELLE_OCAML_VERSION;
wenzelm [Thu, 21 Mar 2019 14:17:36 +0100] rev 70119
less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
wenzelm [Thu, 21 Mar 2019 13:34:37 +0100] rev 70118
more robust "switch create";
disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);