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.
tuned;
authorwenzelm
Sat, 27 Mar 2021 23:03:57 +0100
changeset 73499 53626e34d1ca
parent 73498 f5e9ade80579
child 73500 a33e5298aee6
tuned;
README_REPOSITORY file | annotate | diff | comparison | revisions 
--- a/README_REPOSITORY	Sat Mar 27 22:59:12 2021 +0100
+++ b/README_REPOSITORY	Sat Mar 27 23:03:57 2021 +0100
@@ -28,7 +28,7 @@
 
     cd isabelle
 
-    #current remote version
+    #remote tip version
     ./bin/isabelle setup -u
 
     #explicit changeset id or tag (e.g. "Isabelle2021")
isabelle