1.1 --- a/README	Fri Apr 27 20:27:40 2012 +0200
     1.2 +++ b/README	Fri Apr 27 20:57:40 2012 +0200
     1.3 @@ -9,8 +9,8 @@
     1.4  
     1.5  Installation
     1.6  
     1.7 -   Isabelle work on the three main platform families: Linux, Mac OS X,
     1.8 -   and Windows (via Cygwin).
     1.9 +   Isabelle works on the three main platform families: Linux, Mac OS
    1.10 +   X, and Windows (via Cygwin).
    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 @@ -29,9 +29,9 @@
    1.15  
    1.16     The classic Isabelle user interface is Proof General by David
    1.17     Aspinall and others.  It is a generic Emacs interface for proof
    1.18 -   assistants, including Isabelle.  Its most prominent feature is
    1.19 -   script management, providing a metaphor of stepwise proof script
    1.20 -   editing.
    1.21 +   assistants, including Isabelle.  Its main feature is script
    1.22 +   management, providing a metaphor of stepwise proof script editing
    1.23 +   and partial locking of the buffer.
    1.24  
    1.25  Other sources of information
    1.26