some updates on classic README, reduce the impression that there is much to install manually;
authorwenzelm
Fri Apr 27 15:59:50 2012 +0200 (2012-04-27)
changeset 47795ccb10fe4b955
parent 47794 4ad62c5f9f88
child 47796 c37411691ee7
some updates on classic README, reduce the impression that there is much to install manually;
README
     1.1 --- a/README	Fri Apr 27 15:24:37 2012 +0200
     1.2 +++ b/README	Fri Apr 27 15:59:50 2012 +0200
     1.3 @@ -7,29 +7,19 @@
     1.4     See the NEWS file in the distribution for details on user-relevant
     1.5     changes.
     1.6  
     1.7 -System requirements
     1.8 -
     1.9 -   Isabelle requires a regular Unix-style platform (e.g. Linux,
    1.10 -   Windows with Cygwin, Mac OS X) and depends on the following main
    1.11 -   add-on tools:
    1.12 +Installation
    1.13  
    1.14 -     * The Poly/ML compiler and runtime system (version 5.2.1 or later).
    1.15 -     * The GNU bash shell (version 3.x or 2.x).
    1.16 -     * Perl (version 5.x).
    1.17 -     * Java 1.6.x from Oracle or Apple -- for Scala and jEdit.
    1.18 -     * GNU Emacs (version 23 or 24) -- for the Proof General 4.x interface.
    1.19 -     * A complete LaTeX installation -- for document preparation.
    1.20 -
    1.21 -Installation
    1.22 +   Isabelle work on the three main platform families: Linux, Mac OS X,
    1.23 +   and Windows (via Cygwin).
    1.24  
    1.25     Completely integrated bundles including the full Isabelle sources,
    1.26     documentation, add-on tools and precompiled logic images for
    1.27     several platforms are available from the Isabelle web page.
    1.28  
    1.29 -   Further background information may be found in the Isabelle System
    1.30 +   Some background information may be found in the Isabelle System
    1.31     Manual, distributed with the sources (directory doc).
    1.32  
    1.33 -User interface
    1.34 +User interfaces
    1.35  
    1.36     Isabelle/jEdit is an emerging Prover IDE based on advanced
    1.37     technology of Isabelle/Scala.  It provides a metaphor of continuous