README
changeset 53978 65c893e0849f
parent 53525 3a58f2e249c7
child 54051 cdba71c67860
     1.1 --- a/README	Sun Sep 29 11:59:01 2013 +0200
     1.2 +++ b/README	Sun Sep 29 12:17:02 2013 +0200
     1.3 @@ -10,9 +10,9 @@
     1.4  Installation
     1.5  
     1.6     Isabelle works on the three main platform families: Linux, Windows,
     1.7 -   and Mac OS X.  The fully integrated application bundles from the
     1.8 -   Isabelle web page include sources, documentation, and add-on tools
     1.9 -   for all supported platforms.
    1.10 +   and Mac OS X.  The application bundles from the Isabelle web page
    1.11 +   include sources, documentation, and add-on tools for all supported
    1.12 +   platforms.
    1.13  
    1.14     Some background information may be found in the Isabelle System
    1.15     Manual (directory doc).