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.
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;
authorwenzelm
Tue, 14 Jan 2025 11:34:17 +0100
changeset 81823 7a858ff1c978
parent 81803 40f979c845b7
child 81824 ef849800cc97
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;
etc/settings file | annotate | diff | comparison | revisions
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Jan 13 21:17:40 2025 +0100
+++ b/etc/settings	Tue Jan 14 11:34:17 2025 +0100
@@ -164,7 +164,7 @@
 
 ISABELLE_OPAM_ROOT="$USER_HOME/.opam"
 
-ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.12.0"
+ISABELLE_OCAML_VERSION="ocaml-base-compiler.4.14.1"
 
 
 ###
--- a/src/Pure/ROOT.ML	Mon Jan 13 21:17:40 2025 +0100
+++ b/src/Pure/ROOT.ML	Tue Jan 14 11:34:17 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       b5c84e7e-c43b-4cf5-9644-a1f387b61ab4
+    UUID:       e075658d-0c3c-4076-892c-37ce2c40df8e
 
 Main entry point for the Isabelle/Pure bootstrap process.
isabelle