updated README;
authorwenzelm
Sun Dec 16 22:10:37 2012 +0100 (2012-12-16 ago)
changeset 50572b33912e68b84
parent 50571 b649e33e4821
child 50573 765c22baa1c9
updated README;
README
     1.1 --- a/README	Sun Dec 16 21:27:23 2012 +0100
     1.2 +++ b/README	Sun Dec 16 22:10:37 2012 +0100
     1.3 @@ -9,8 +9,8 @@
     1.4  
     1.5  Installation
     1.6  
     1.7 -   Isabelle works on the three main platform families: Linux, Mac OS
     1.8 -   X, and Windows (via Cygwin).
     1.9 +   Isabelle works on the three main platform families: Linux, Windows,
    1.10 +   and Mac OS X.
    1.11  
    1.12     Completely integrated bundles including the full Isabelle sources,
    1.13     documentation, add-on tools and precompiled logic images for
    1.14 @@ -21,25 +21,28 @@
    1.15  
    1.16  User interfaces
    1.17  
    1.18 -   Isabelle/jEdit is an emerging Prover IDE based on advanced
    1.19 -   technology of Isabelle/Scala.  It provides a metaphor of continuous
    1.20 -   proof checking of a versioned collection of theory sources, with
    1.21 +   Isabelle/jEdit is an advanced Prover IDE based on jEdit and
    1.22 +   Isabelle/Scala.  It provides a metaphor of continuous proof
    1.23 +   checking of a versioned collection of theory sources, with
    1.24     instantaneous feedback in real-time and rich semantic markup
    1.25     associated with the formal text.
    1.26  
    1.27     The classic Isabelle user interface is Proof General by David
    1.28     Aspinall and others.  It is a generic Emacs interface for proof
    1.29     assistants, including Isabelle.  Its main feature is script
    1.30 -   management, providing a metaphor of stepwise proof script editing
    1.31 -   and partial locking of the buffer.
    1.32 +   management, with stepwise proof scripting and partial locking of
    1.33 +   the editor buffer.
    1.34  
    1.35  Other sources of information
    1.36  
    1.37    The Isabelle Page
    1.38  
    1.39 -   The Isabelle home page may be accessed both from Cambridge and Munich:
    1.40 +   The Isabelle home page may be accessed from Cambridge, Munich, and
    1.41 +   Sydney:
    1.42 +
    1.43       * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.44       * http://isabelle.in.tum.de
    1.45 +     * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
    1.46  
    1.47    Mailing list
    1.48