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.
etc/settings
changeset 72939 dc858da93233
parent 72837 2c26c283f3ee
child 73092 131ab1a941dd 
--- a/etc/settings	Wed Dec 16 16:30:04 2020 +0100
+++ b/etc/settings	Wed Dec 16 16:56:07 2020 +0100
@@ -150,7 +150,7 @@
 
 ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
 
-ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.05.0"
+ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.07.0"
 
 
 ###
isabelle