README
changeset 44971 8104eec1bf94
parent 44801 a0459c50cfc9
child 47462 8f85051693d1
     1.1 --- a/README	Sun Sep 18 14:55:45 2011 +0200
     1.2 +++ b/README	Sun Sep 18 15:30:21 2011 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  System requirements
     1.5  
     1.6     Isabelle requires a regular Unix-style platform (e.g. Linux,
     1.7 -   Windows with Cygwin, Mac OS) and depends on the following main
     1.8 +   Windows with Cygwin, Mac OS X) and depends on the following main
     1.9     add-on tools:
    1.10  
    1.11       * The Poly/ML compiler and runtime system (version 5.2.1 or later).