1.1 --- a/README	Wed Jan 12 16:33:04 2011 +0100
     1.2 +++ b/README	Wed Jan 12 16:41:49 2011 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4       * The Poly/ML compiler and runtime system (version 5.2.1 or later).
     1.5       * The GNU bash shell (version 3.x or 2.x).
     1.6       * Perl (version 5.x).
     1.7 -     * GNU Emacs (version 22) -- for the Proof General interface.
     1.8 +     * GNU Emacs (version 23) -- for the Proof General 4.x interface.
     1.9       * A complete LaTeX installation -- for document preparation.
    1.10  
    1.11  Installation