Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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;
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
Changeset 69951:febb3f035e84 by wenzelm:
updated to cygwin-20190322 -- package required by ocaml_setup for zarith;
The file was modified Admin/components/bundled-windows
The file was modified Admin/components/components.sha1
The file was modified src/Pure/Admin/build_cygwin.scala
Changeset 69950:dbc2426a600d by wenzelm:
workaround for the sake of Windows;
The file was modified src/HOL/Library/code_test.ML
The file was modified src/Tools/Code/code_ml.ML
Changeset 69949:a7a0115061ec by wenzelm:
more robust -- analogous to ocamlfind;
The file was modified lib/scripts/ghc
Changeset 69948:a591de179931 by wenzelm:
even more robust and conservative OCaml setup;
The file was modified lib/Tools/ocaml_setup
The file was modified lib/scripts/ocamlfind