README
changeset 37368 1c816f2abb0e
parent 37159 07f3f5a03e98
child 38470 484e483eb606
     1.1 --- a/README	Tue Jun 08 17:45:39 2010 +0200
     1.2 +++ b/README	Wed Jun 09 14:08:08 2010 +0200
     1.3 @@ -21,10 +21,9 @@
     1.4  
     1.5  Installation
     1.6  
     1.7 -   Binary packages are available for Isabelle/HOL etc. for several
     1.8 -   platforms from the Isabelle web page. The system may be also built
     1.9 -   from scratch, using the tar.gz source distribution. See file
    1.10 -   INSTALL as distributed with Isabelle for more information.
    1.11 +   Completely integrated bundles including the full Isabelle sources,
    1.12 +   documentation, add-on tools and precompiled logic images for
    1.13 +   several platforms are available from the Isabelle web page.
    1.14  
    1.15     Further background information may be found in the Isabelle System
    1.16     Manual, distributed with the sources (directory doc).