diff -r a96de8bbe8a3 -r 479e9b17090e README_REPOSITORY
--- 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