README_REPOSITORY
changeset 50281 cbba16084784
parent 49443 75633efcc70d
child 50453 262dc5873f80
     1.1 --- a/README_REPOSITORY	Thu Nov 29 10:45:25 2012 +0100
     1.2 +++ b/README_REPOSITORY	Thu Nov 29 10:56:59 2012 +0100
     1.3 @@ -22,6 +22,12 @@
     1.4  
     1.5      ./isabelle/bin/isabelle jedit
     1.6  
     1.7 +4. For later update replace "hg clone ..." above by:
     1.8 +
     1.9 +    cd isabelle
    1.10 +
    1.11 +    hg pull -u
    1.12 +
    1.13  
    1.14  Introduction
    1.15  ------------
    1.16 @@ -189,11 +195,18 @@
    1.17    * Start publishing again by pull or fetch, which normally produces
    1.18      local merges.
    1.19  
    1.20 -  * Test the merged result as usual and push back in real time.
    1.21 +  * Test the merged result, e.g. like this:
    1.22 +
    1.23 +      isabelle build -a
    1.24 +
    1.25 +  * Push back in real time.
    1.26  
    1.27  Piling private changes and public merges longer than 0.5-2 hours is
    1.28  apt to produce some mess when pushing eventually!
    1.29  
    1.30 +The pull-test-push cycle should not be repeated too fast, to avoid
    1.31 +delaying others from doing the same concurrently.
    1.32 +
    1.33  
    1.34  Content discipline
    1.35  ------------------