diff -r 1a6637572b70 -r 47f055b40ab9 README_REPOSITORY
--- a/README_REPOSITORY	Sat Mar 27 19:46:02 2021 +0100
+++ b/README_REPOSITORY	Sat Mar 27 20:24:04 2021 +0100
@@ -18,25 +18,17 @@
 
     cd isabelle
 
-    ./bin/isabelle components -I
-
-    ./bin/isabelle components -a
+    ./bin/isabelle setup
 
-    ./bin/isabelle jedit -l HOL
+    ./bin/isabelle jedit -l HOL  #start Prover IDE and let it build session image
 
-    ./bin/isabelle build -b HOL  #optional: build session image manually
+    ./bin/isabelle build -b HOL  #alternative: build session image manually
 
 3. Update repository to particular version (bash shell commands):
 
     cd isabelle
 
-    hg pull https://isabelle.in.tum.de/repos/isabelle
-
-    hg update -r VERSION   #for VERSION e.g. "tip", "Isabelle2021", "9e967acf8f0f"
-
-    ./bin/isabelle components -a
-
-    ./bin/isabelle jedit -l HOL
+    ./bin/isabelle -r VERSION   #for VERSION e.g. "tip", "Isabelle2021", "9e967acf8f0f"
 
 4. Build documentation (bash shell commands):