README
changeset 47462 8f85051693d1
parent 44971 8104eec1bf94
child 47745 de249b5ae6e2
     1.1 --- a/README	Sat Apr 14 12:36:11 2012 +0200
     1.2 +++ b/README	Sat Apr 14 12:46:45 2012 +0200
     1.3 @@ -16,8 +16,8 @@
     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 -     * Java 1.6.x from Oracle or Apple -- for Scala and jEdit.
     1.8 -     * GNU Emacs (version 23) -- for the Proof General 4.x interface.
     1.9 +     * Java 1.6.x or 1.7.x from Oracle or Apple -- for Scala and jEdit.
    1.10 +     * GNU Emacs (version 23 or 24) -- for the Proof General 4.x interface.
    1.11       * A complete LaTeX installation -- for document preparation.
    1.12  
    1.13  Installation