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.
enforce rebuild of Isabelle/ML;
authorwenzelm
Thu, 26 Jun 2025 17:16:14 +0200
changeset 82770 4a1320dac3f3
parent 82769 7cb5ef6da1f0
child 82772 59b937edcff8
enforce rebuild of Isabelle/ML;
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ROOT.ML	Thu Jun 26 17:14:01 2025 +0200
+++ b/src/Pure/ROOT.ML	Thu Jun 26 17:16:14 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       afd90a19-201a-461b-b4ef-b3adfa88969d
+    UUID:       a83d12be-3568-49ab-9484-a84de5cee2bf
 
 Main entry point for the Isabelle/Pure bootstrap process.
isabelle