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 +Installation
1.9
1.10 - Isabelle requires a regular Unix-style platform (e.g. Linux,
1.11 - Windows with Cygwin, Mac OS X) and depends on the following main
1.12 - add-on tools:
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