Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified GHC and OCaml test setup;
  3. updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
  4. workaround for the sake of Windows;
  5. more robust -- analogous to ocamlfind;
  6. even more robust and conservative OCaml setup;
  7. executable equality
  8. improved code equations taken over from AFP
  9. New abstract topological material
Changeset 69953:3544cca7920f by wenzelm:
merged
Changeset 69952:385458b950e1 by wenzelm:
clarified GHC and OCaml test setup;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 69951:febb3f035e84 by wenzelm:
updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 69950:dbc2426a600d by wenzelm:
workaround for the sake of Windows;
The file was modified src/HOL/Library/code_test.ML (diff)
The file was modified src/Tools/Code/code_ml.ML (diff)
Changeset 69949:a7a0115061ec by wenzelm:
more robust -- analogous to ocamlfind;
The file was modified lib/scripts/ghc (diff)
Changeset 69948:a591de179931 by wenzelm:
even more robust and conservative OCaml setup;
The file was modified lib/Tools/ocaml_setup (diff)
The file was modified lib/scripts/ocamlfind (diff)
Changeset 69947:77a92e8d5167 by haftmann:
executable equality
The file was modified src/HOL/Library/Dual_Ordered_Lattice.thy (diff)
Changeset 69946:494934c30f38 by haftmann:
improved code equations taken over from AFP
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Library/Code_Target_Nat.thy (diff)
Changeset 69945:35ba13ac6e5c by paulson _lp15@cam.ac.uk_:
New abstract topological material
The file was addedsrc/HOL/Analysis/Locally.thy
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Product_Topology.thy (diff)