diff -r 6ba87450894d -r 4effb93c2a09 README_REPOSITORY
--- a/README_REPOSITORY	Sat Oct 01 20:58:59 2016 +0200
+++ b/README_REPOSITORY	Sat Oct 01 20:59:09 2016 +0200
@@ -46,16 +46,17 @@
 Introduction
 ------------
 
-Mercurial http://www.selenic.com/mercurial belongs to the current
-generation of source code management systems that follow the so-called
-paradigm of "distributed version control".  This is a terrific name
-for plain revision control without the legacy of CVS or SVN.  See also
-http://hginit.com/ for an introduction to the main ideas.  The
-Mercurial book http://hgbook.red-bean.com/ explains many more details.
+Mercurial http://www.selenic.com/mercurial belongs to source code
+management systems that follow the so-called paradigm of "distributed
+version control".  This means plain revision control without the
+legacy of CVS or SVN (and without the extra complexity introduced by
+git).  See also http://hginit.com/ for an introduction to the main
+ideas.  The Mercurial book http://hgbook.red-bean.com/ explains many
+more details.
 
-Mercurial offers great flexibility in organizing the flow of changes,
+Mercurial offers some flexibility in organizing the flow of changes,
 both between individual developers and designated pull/push areas that
-are shared with others.  This additional power demands some additional
+are shared with others.  This additional freedom demands additional
 responsibility to maintain a certain development process that fits to
 a particular project.
 
@@ -294,7 +295,7 @@
 
   ./bin/isabelle build -a  #regular test
 
-  ./bin/isabelle build -a -o document=pdf  #test with document preparation
+  ./bin/isabelle build -a -o document=pdf  #test with document preparation (optional)
 
   ./bin/isabelle build -a -j2 -o threads=4  #test on multiple cores (example)