README_REPOSITORY
changeset 66753 f7759beab4f2
parent 63985 4effb93c2a09
child 66763 0b3fa8e22f22
     1.1 --- a/README_REPOSITORY	Mon Oct 02 16:41:59 2017 +0200
     1.2 +++ b/README_REPOSITORY	Mon Oct 02 16:42:12 2017 +0200
     1.3 @@ -300,7 +300,9 @@
     1.4    ./bin/isabelle build -a -j2 -o threads=4  #test on multiple cores (example)
     1.5  
     1.6  See also the chapter on Isabelle sessions and build management in the
     1.7 -"system" manual.
     1.8 +"system" manual. The build option -S is particularly useful for quick
     1.9 +tests of individual commits, e.g. for each step of a longer chain of
    1.10 +changes, but the final push always requires a full test as above!
    1.11  
    1.12  Note that implicit dependencies on Isabelle components are specified
    1.13  via catalog files in $ISABELLE_HOME/Admin/components/ as part of the