README_REPOSITORY

     ./isabelle/bin/isabelle components -a
 
     ./isabelle/bin/isabelle build -b HOL
 
     ./isabelle/bin/isabelle jedit
+
+4. For later update replace "hg clone ..." above by:
+
+    cd isabelle
+
+    hg pull -u
 
 
 Introduction
 ------------
 

   * Accumulate private commits for a maximum of 1-3 days.
 
   * Start publishing again by pull or fetch, which normally produces
     local merges.
 
-  * Test the merged result as usual and push back in real time.
+  * Test the merged result, e.g. like this:
+
+      isabelle build -a
+
+  * Push back in real time.
 
 Piling private changes and public merges longer than 0.5-2 hours is
 apt to produce some mess when pushing eventually!
+
+The pull-test-push cycle should not be repeated too fast, to avoid
+delaying others from doing the same concurrently.
 
 
 Content discipline
 ------------------