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