README
changeset 44801 a0459c50cfc9
parent 41596 e424bc65080d
child 44971 8104eec1bf94
     1.1 --- a/README	Wed Sep 07 20:29:54 2011 +0200
     1.2 +++ b/README	Wed Sep 07 20:49:45 2011 +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 from Oracle/Sun or Apple -- for Scala and jEdit.
    1.10       * A complete LaTeX installation -- for document preparation.
    1.11  
    1.12  Installation
    1.13 @@ -31,17 +31,18 @@
    1.14  
    1.15  User interface
    1.16  
    1.17 +   Isabelle/jEdit is an emerging Prover IDE based on advanced
    1.18 +   technology of Isabelle/Scala.  It provides a metaphor of continuous
    1.19 +   proof checking of a versioned collection of theory sources, with
    1.20 +   instantaneous feedback in real-time and rich semantic markup
    1.21 +   associated with the formal text.
    1.22 +
    1.23     The classic Isabelle user interface is Proof General by David
    1.24     Aspinall and others.  It is a generic Emacs interface for proof
    1.25     assistants, including Isabelle.  Its most prominent feature is
    1.26     script management, providing a metaphor of stepwise proof script
    1.27     editing.
    1.28  
    1.29 -   Isabelle/jEdit is an experimental Prover IDE based on advanced
    1.30 -   technology of Isabelle/Scala.  It provides a metaphor of continuous
    1.31 -   proof checking of a versioned collection of theory sources, with
    1.32 -   instantaneous feedback in real-time.
    1.33 -
    1.34  Other sources of information
    1.35  
    1.36    The Isabelle Page