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.
updated example;
authorwenzelm
Sat, 17 Apr 2021 19:47:08 +0200
changeset 73590 1aa9ef7a3eaf
parent 73589 479e9b17090e
child 73591 c1f8aaa13ee3
updated example;
README_REPOSITORY file | annotate | diff | comparison | revisions 
--- a/README_REPOSITORY	Sat Apr 17 19:45:12 2021 +0200
+++ b/README_REPOSITORY	Sat Apr 17 19:47:08 2021 +0200
@@ -29,7 +29,7 @@
     isabelle/Admin/init -u -L
 
     #explicit changeset id or tag (e.g. "Isabelle2021")
-    isabelle/Admin/init -r 1d4c9fa00821
+    isabelle/Admin/init -r 479e9b17090e
 
 4. Run application:
isabelle