diff -r ed5226fdf89d -r 1d4c9fa00821 README_REPOSITORY
--- a/README_REPOSITORY	Thu Apr 15 19:45:43 2021 +0000
+++ b/README_REPOSITORY	Fri Apr 16 21:50:47 2021 +0200
@@ -19,15 +19,18 @@
 
 3. Switch repository to particular version (bash shell commands):
 
-    #remote tip version
-    isabelle/Admin/init -u
+    #latest official release
+    isabelle/Admin/init -R
+
+    #latest tip version from repository server
+    isabelle/Admin/init -t
+
+    #latest tip version from local history
+    isabelle/Admin/init -t -L
 
     #explicit changeset id or tag (e.g. "Isabelle2021")
     isabelle/Admin/init -r 7cdcf131699d
 
-    #current official release
-    isabelle/Admin/init -R
-
 4. Run application:
 
     #start Prover IDE and let it build session image