# HG changeset patch
# User wenzelm
# Date 1611586699 -3600
# Node ID 6e7ac8cefe57f2d99619d1deb2bc56220e10dcb4
# Parent  9e967acf8f0f5246087086e12e1b089af652d7fa
tuned;

diff -r 9e967acf8f0f -r 6e7ac8cefe57 README_REPOSITORY
--- a/README_REPOSITORY	Sun Jan 24 21:51:00 2021 +0100
+++ b/README_REPOSITORY	Mon Jan 25 15:58:19 2021 +0100
@@ -4,13 +4,15 @@
 Quick start in 30min
 --------------------
 
-1a. Linux and Mac OS X: ensure that Mercurial is installed
-    (see also https://www.mercurial-scm.org)
+1. Platform prerequisites: ensure that "curl" and "hg" (Mercurial) are installed
+
+  (a) Linux: e.g. "sudo apt install curl mercurial
 
-1b. Windows: ensure that Cygwin64 with curl and Mercurial is installed
-    (see also https://www.cygwin.com)
+  (b) macOS: e.g. "brew install mercurial" or download from https://www.mercurial-scm.org
 
-2. Clone repository (bash shell commands):
+  (c) Windows: use Cygwin64 with packages "curl" and "mercurial" (via Cygwin setup-x86_64.exe)
+
+2. Initial repository clone (bash shell commands):
 
     hg clone https://isabelle.in.tum.de/repos/isabelle
 
@@ -24,17 +26,19 @@
 
     ./bin/isabelle build -b HOL  #optional: build session image manually
 
-3. Update repository (bash shell commands):
+3. Update repository to particular version (bash shell commands):
 
     cd isabelle
 
-    hg pull -u
+    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
 
-4. Access documentation (bash shell commands):
+4. Build documentation (bash shell commands):
 
     ./bin/isabelle build_doc -a