diff -r a7add756b9d2 -r 65c893e0849f README
--- a/README	Sun Sep 29 11:59:01 2013 +0200
+++ b/README	Sun Sep 29 12:17:02 2013 +0200
@@ -10,9 +10,9 @@
 Installation
 
    Isabelle works on the three main platform families: Linux, Windows,
-   and Mac OS X.  The fully integrated application bundles from the
-   Isabelle web page include sources, documentation, and add-on tools
-   for all supported platforms.
+   and Mac OS X.  The application bundles from the Isabelle web page
+   include sources, documentation, and add-on tools for all supported
+   platforms.
 
    Some background information may be found in the Isabelle System
    Manual (directory doc).