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.
clarified;
authorwenzelm
Sat, 27 Mar 2021 22:59:12 +0100
changeset 73498 f5e9ade80579
parent 73497 7cdcf131699d
child 73499 53626e34d1ca
clarified;
README_REPOSITORY file | annotate | diff | comparison | revisions 
--- a/README_REPOSITORY	Sat Mar 27 22:48:59 2021 +0100
+++ b/README_REPOSITORY	Sat Mar 27 22:59:12 2021 +0100
@@ -24,11 +24,19 @@
 
     ./bin/isabelle build -b HOL  #alternative: build session image manually
 
-3. Update repository to particular version (bash shell commands):
+3. Update repository to particular versions (bash shell commands):
 
     cd isabelle
 
-    ./bin/isabelle -r VERSION   #for VERSION e.g. "tip", "Isabelle2021", "9e967acf8f0f"
+    #current remote version
+    ./bin/isabelle setup -u
+
+    #explicit changeset id or tag (e.g. "Isabelle2021")
+    ./bin/isabelle setup -r 7cdcf131699d
+
+    #current official release
+    ./bin/isabelle setup -R
+
 
 4. Build documentation (bash shell commands):
isabelle