README_REPOSITORY
changeset 63985 4effb93c2a09
parent 63490 9416333a17c2
child 66753 f7759beab4f2
     1.1 --- a/README_REPOSITORY	Sat Oct 01 20:58:59 2016 +0200
     1.2 +++ b/README_REPOSITORY	Sat Oct 01 20:59:09 2016 +0200
     1.3 @@ -46,16 +46,17 @@
     1.4  Introduction
     1.5  ------------
     1.6  
     1.7 -Mercurial http://www.selenic.com/mercurial belongs to the current
     1.8 -generation of source code management systems that follow the so-called
     1.9 -paradigm of "distributed version control".  This is a terrific name
    1.10 -for plain revision control without the legacy of CVS or SVN.  See also
    1.11 -http://hginit.com/ for an introduction to the main ideas.  The
    1.12 -Mercurial book http://hgbook.red-bean.com/ explains many more details.
    1.13 +Mercurial http://www.selenic.com/mercurial belongs to source code
    1.14 +management systems that follow the so-called paradigm of "distributed
    1.15 +version control".  This means plain revision control without the
    1.16 +legacy of CVS or SVN (and without the extra complexity introduced by
    1.17 +git).  See also http://hginit.com/ for an introduction to the main
    1.18 +ideas.  The Mercurial book http://hgbook.red-bean.com/ explains many
    1.19 +more details.
    1.20  
    1.21 -Mercurial offers great flexibility in organizing the flow of changes,
    1.22 +Mercurial offers some flexibility in organizing the flow of changes,
    1.23  both between individual developers and designated pull/push areas that
    1.24 -are shared with others.  This additional power demands some additional
    1.25 +are shared with others.  This additional freedom demands additional
    1.26  responsibility to maintain a certain development process that fits to
    1.27  a particular project.
    1.28  
    1.29 @@ -294,7 +295,7 @@
    1.30  
    1.31    ./bin/isabelle build -a  #regular test
    1.32  
    1.33 -  ./bin/isabelle build -a -o document=pdf  #test with document preparation
    1.34 +  ./bin/isabelle build -a -o document=pdf  #test with document preparation (optional)
    1.35  
    1.36    ./bin/isabelle build -a -j2 -o threads=4  #test on multiple cores (example)
    1.37