1.1 --- a/README	Wed Nov 20 11:01:08 2013 +0100
     1.2 +++ b/README	Wed Nov 20 16:25:07 2013 +0100
     1.3 @@ -10,14 +10,12 @@
     1.4  Installation
     1.5  
     1.6     Isabelle works on the three main platform families: Linux, Windows,
     1.7 -   and Mac OS X.
     1.8 +   and Mac OS X.  The application bundles from the Isabelle web page
     1.9 +   include sources, documentation, and add-on tools for all supported
    1.10 +   platforms.
    1.11  
    1.12 -   Completely integrated bundles including the full Isabelle sources,
    1.13 -   documentation, add-on tools and precompiled logic images for
    1.14 -   several platforms are available from the Isabelle web page.
    1.15 -
    1.16 -   Some background information may be found in the Isabelle System
    1.17 -   Manual, distributed with the sources (directory doc).
    1.18 +   Some technical background information may be found in the Isabelle
    1.19 +   System Manual (directory doc).
    1.20  
    1.21  User interfaces
    1.22