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 73589 479e9b17090e
parent 73585 386416437ce9
child 73590 1aa9ef7a3eaf 
--- a/README_REPOSITORY	Sat Apr 17 19:37:42 2021 +0200
+++ b/README_REPOSITORY	Sat Apr 17 19:45:12 2021 +0200
@@ -22,11 +22,11 @@
     #latest official release
     isabelle/Admin/init -R
 
-    #latest tip version from repository server
-    isabelle/Admin/init -t
+    #latest version from repository server
+    isabelle/Admin/init -u
 
-    #latest tip version from local history
-    isabelle/Admin/init -t -L
+    #latest version from local history
+    isabelle/Admin/init -u -L
 
     #explicit changeset id or tag (e.g. "Isabelle2021")
     isabelle/Admin/init -r 1d4c9fa00821
isabelle