# HG changeset patch
# User wenzelm
# Date 1335553060 -7200
# Node ID 5d283dca6104f5613aaa6db32a62f8cccd81931e
# Parent  decb1d2e2607fb8e667cbdeb1ef1f44fd17b9bf7
tuned;

diff -r decb1d2e2607 -r 5d283dca6104 README
--- a/README	Fri Apr 27 20:27:40 2012 +0200
+++ b/README	Fri Apr 27 20:57:40 2012 +0200
@@ -9,8 +9,8 @@
 
 Installation
 
-   Isabelle work on the three main platform families: Linux, Mac OS X,
-   and Windows (via Cygwin).
+   Isabelle works on the three main platform families: Linux, Mac OS
+   X, and Windows (via Cygwin).
 
    Completely integrated bundles including the full Isabelle sources,
    documentation, add-on tools and precompiled logic images for
@@ -29,9 +29,9 @@
 
    The classic Isabelle user interface is Proof General by David
    Aspinall and others.  It is a generic Emacs interface for proof
-   assistants, including Isabelle.  Its most prominent feature is
-   script management, providing a metaphor of stepwise proof script
-   editing.
+   assistants, including Isabelle.  Its main feature is script
+   management, providing a metaphor of stepwise proof script editing
+   and partial locking of the buffer.
 
 Other sources of information