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
Fri, 16 Apr 2021 21:54:08 +0200
changeset 73585 386416437ce9
parent 73584 1d4c9fa00821
child 73586 76d0b6597c91
updated example;
README_REPOSITORY file | annotate | diff | comparison | revisions 
--- 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