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