--- 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