# HG changeset patch
# User wenzelm
# Date 1239818588 -7200
# Node ID 16912b4e66252eaa76523c5caf6f65dcba632741
# Parent  44cba7df40036b508400c24c67d8349fbf3289d9
misc tuning for Isabelle2009;

diff -r 44cba7df4003 -r 16912b4e6625 INSTALL
--- a/INSTALL	Wed Apr 15 19:52:45 2009 +0200
+++ b/INSTALL	Wed Apr 15 20:03:08 2009 +0200
@@ -6,7 +6,7 @@
 ----------------------
 
 The Isabelle distribution includes both complete sources and
-precompiled binary packages for common Unix platforms.
+precompiled binary packages for common Unix-like platforms.
 
 
 Quick installation
diff -r 44cba7df4003 -r 16912b4e6625 README
--- a/README	Wed Apr 15 19:52:45 2009 +0200
+++ b/README	Wed Apr 15 20:03:08 2009 +0200
@@ -14,7 +14,7 @@
      * A full Standard ML Compiler (works best with Poly/ML 5.2.1).
      * The GNU bash shell (version 3.x or 2.x).
      * Perl (version 5.x).
-     * GNU Emacs (version 21, 22) or XEmacs (version 21.4.x)
+     * GNU Emacs (version 21, 22, 23) or XEmacs (version 21.4.x)
        -- for the Proof General interface.
      * A complete LaTeX installation -- for document preparation.
 
@@ -22,9 +22,8 @@
 
    Binary packages are available for Isabelle/HOL and ZF for several
    platforms from the Isabelle web page. The system may be easily
-   built from scratch as well, taking the traditional tar.gz source
-   distribution. See file INSTALL as distributed with Isabelle for
-   more information.
+   built from scratch, using the tar.gz source distribution. See file
+   INSTALL as distributed with Isabelle for more information.
 
    Further background information may be found in the Isabelle System
    Manual, distributed with the sources (directory doc).
@@ -36,8 +35,8 @@
    including Isabelle. Proof General is suitable for use by pacifists
    and Emacs militants alike. Its most prominent feature is script
    management, providing a metaphor of live proof script editing.
-   Proof General also provides some support for proper mathematical
-   symbols displayed on screen.
+   Proof General also provides some support for mathematical symbols
+   displayed on screen.
 
 Other sources of information