Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/ocaml_setup
changeset 69928 3ed262d72468
parent 69924 512ac874bb9d
child 69936 772bdd1ed843 
--- a/lib/Tools/ocaml_setup	Wed Mar 20 20:33:40 2019 +0100
+++ b/lib/Tools/ocaml_setup	Wed Mar 20 21:15:20 2019 +0100
@@ -13,4 +13,4 @@
   isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION"
 fi
 
-isabelle_opam install zarith
+isabelle_opam install zarith -y
isabelle