Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
avoid prompt;
authorwenzelm
Wed, 20 Mar 2019 21:15:20 +0100
changeset 69928 3ed262d72468
parent 69927 f387618d9053
child 69929 b979e3044d8e
avoid prompt;
lib/Tools/ocaml_setup file | annotate | diff | comparison | revisions 
--- 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