README
changeset 53525 3a58f2e249c7
parent 50572 b33912e68b84
child 53978 65c893e0849f
     1.1 --- a/README	Wed Sep 11 00:00:59 2013 +0200
     1.2 +++ b/README	Wed Sep 11 11:07:39 2013 +0200
     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 -
     1.9 -   Completely integrated bundles including the full Isabelle sources,
    1.10 -   documentation, add-on tools and precompiled logic images for
    1.11 -   several platforms are available from the Isabelle web page.
    1.12 +   and Mac OS X.  The fully integrated application bundles from the
    1.13 +   Isabelle web page include sources, documentation, and add-on tools
    1.14 +   for all supported platforms.
    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 +   Manual (directory doc).
    1.19  
    1.20  User interfaces
    1.21