README
changeset 30898 16912b4e6625
parent 30852 59a422908e29
child 32361 141e5151b918
     1.1 --- a/README	Wed Apr 15 19:52:45 2009 +0200
     1.2 +++ b/README	Wed Apr 15 20:03:08 2009 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4       * A full Standard ML Compiler (works best with Poly/ML 5.2.1).
     1.5       * The GNU bash shell (version 3.x or 2.x).
     1.6       * Perl (version 5.x).
     1.7 -     * GNU Emacs (version 21, 22) or XEmacs (version 21.4.x)
     1.8 +     * GNU Emacs (version 21, 22, 23) or XEmacs (version 21.4.x)
     1.9         -- for the Proof General interface.
    1.10       * A complete LaTeX installation -- for document preparation.
    1.11  
    1.12 @@ -22,9 +22,8 @@
    1.13  
    1.14     Binary packages are available for Isabelle/HOL and ZF for several
    1.15     platforms from the Isabelle web page. The system may be easily
    1.16 -   built from scratch as well, taking the traditional tar.gz source
    1.17 -   distribution. See file INSTALL as distributed with Isabelle for
    1.18 -   more information.
    1.19 +   built from scratch, using the tar.gz source distribution. See file
    1.20 +   INSTALL as distributed with Isabelle for more information.
    1.21  
    1.22     Further background information may be found in the Isabelle System
    1.23     Manual, distributed with the sources (directory doc).
    1.24 @@ -36,8 +35,8 @@
    1.25     including Isabelle. Proof General is suitable for use by pacifists
    1.26     and Emacs militants alike. Its most prominent feature is script
    1.27     management, providing a metaphor of live proof script editing.
    1.28 -   Proof General also provides some support for proper mathematical
    1.29 -   symbols displayed on screen.
    1.30 +   Proof General also provides some support for mathematical symbols
    1.31 +   displayed on screen.
    1.32  
    1.33  Other sources of information
    1.34