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.
README_REPOSITORY
changeset 73585 386416437ce9
parent 73584 1d4c9fa00821
child 73589 479e9b17090e 
--- a/README_REPOSITORY	Fri Apr 16 21:50:47 2021 +0200
+++ b/README_REPOSITORY	Fri Apr 16 21:54:08 2021 +0200
@@ -29,7 +29,7 @@
     isabelle/Admin/init -t -L
 
     #explicit changeset id or tag (e.g. "Isabelle2021")
-    isabelle/Admin/init -r 7cdcf131699d
+    isabelle/Admin/init -r 1d4c9fa00821
 
 4. Run application:
isabelle