Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. tuyned
  3. further robustification (amending 772bdd1ed843);
  4. added function
  5. merged
  6. new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map
  7. proper ISABELLE_OCAML_VERSION;
  8. less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
  9. more robust "switch create"; disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
  10. prefer central root: just one copy of this bulky material;
  11. updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
Changeset 69944:ab8aad4aa76e by nipkow:
merged
Changeset 69943:deb05b4c48ba by nipkow:
tuyned
The file was modified src/HOL/Data_Structures/Array_Braun.thy (diff)
Changeset 69942:2c48be88f847 by wenzelm:
further robustification (amending 772bdd1ed843);
The file was modified lib/Tools/ocaml_setup (diff)
Changeset 69941:423c0b571f1e by nipkow:
added function
The file was modified src/HOL/Data_Structures/Array_Braun.thy (diff)
Changeset 69940:d043ccb998ee by paulson:
merged
Changeset 69939:812ce526da33 by paulson _lp15@cam.ac.uk_:
new material on topology: products, etc. Some renamings, esp continuous_on_topo -> continuous_map
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)
The file was modified src/HOL/Analysis/Abstract_Topology_2.thy (diff)
The file was modified src/HOL/Analysis/Binary_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Bounded_Linear_Function.thy (diff)
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Ordered_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Product_Topology.thy (diff)
The file was modified src/HOL/Analysis/T1_Spaces.thy (diff)
The file was modified src/HOL/Library/FuncSet.thy (diff)
The file was modified src/HOL/Product_Type.thy (diff)
The file was modified src/HOL/Set.thy (diff)
Changeset 69938:564985d6867e by wenzelm:
proper ISABELLE_OCAML_VERSION;
The file was modified etc/settings (diff)
The file was modified lib/Tools/ocaml_setup (diff)
Changeset 69937:afbc075fd2da by wenzelm:
less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69936:772bdd1ed843 by wenzelm:
more robust &quot;switch create&quot;;<br>disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
The file was modified lib/Tools/ocaml_setup (diff)
Changeset 69935:11d0fdb29ebc by wenzelm:
prefer central root: just one copy of this bulky material;
The file was modified etc/settings (diff)
Changeset 69934:13276f83fdac by wenzelm:
updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/ocaml/opam/README (diff)