README
changeset 41596 e424bc65080d
parent 41527 924106faa45f
child 44801 a0459c50cfc9
     1.1 --- a/README	Sun Jan 16 20:55:48 2011 +0100
     1.2 +++ b/README	Sun Jan 16 21:05:10 2011 +0100
     1.3 @@ -17,6 +17,7 @@
     1.4       * The GNU bash shell (version 3.x or 2.x).
     1.5       * Perl (version 5.x).
     1.6       * GNU Emacs (version 23) -- for the Proof General 4.x interface.
     1.7 +     * Java 1.6.x from Oracle/Sun or Apple -- for Scala and jEdit.
     1.8       * A complete LaTeX installation -- for document preparation.
     1.9  
    1.10  Installation
    1.11 @@ -31,11 +32,15 @@
    1.12  User interface
    1.13  
    1.14     The classic Isabelle user interface is Proof General by David
    1.15 -   Aspinall and others. It is a generic Emacs interface for proof
    1.16 +   Aspinall and others.  It is a generic Emacs interface for proof
    1.17     assistants, including Isabelle.  Its most prominent feature is
    1.18     script management, providing a metaphor of stepwise proof script
    1.19 -   editing.  Proof General also provides some support for mathematical
    1.20 -   symbols displayed on screen.
    1.21 +   editing.
    1.22 +
    1.23 +   Isabelle/jEdit is an experimental Prover IDE based on advanced
    1.24 +   technology of Isabelle/Scala.  It provides a metaphor of continuous
    1.25 +   proof checking of a versioned collection of theory sources, with
    1.26 +   instantaneous feedback in real-time.
    1.27  
    1.28  Other sources of information
    1.29