diff -r ee1bdeb9e0ed -r 3a58f2e249c7 README
--- a/README	Wed Sep 11 00:00:59 2013 +0200
+++ b/README	Wed Sep 11 11:07:39 2013 +0200
@@ -10,14 +10,12 @@
 Installation
 
    Isabelle works on the three main platform families: Linux, Windows,
-   and Mac OS X.
-
-   Completely integrated bundles including the full Isabelle sources,
-   documentation, add-on tools and precompiled logic images for
-   several platforms are available from the Isabelle web page.
+   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.
 
    Some background information may be found in the Isabelle System
-   Manual, distributed with the sources (directory doc).
+   Manual (directory doc).
 
 User interfaces