README.html
changeset 17547 b0d70cf4ed18
parent 16327 cd2cd49e6c8f
child 25126 705f54aeba7c
     1.1 --- a/README.html	Wed Sep 21 11:50:20 2005 +0200
     1.2 +++ b/README.html	Wed Sep 21 11:50:38 2005 +0200
     1.3 @@ -21,37 +21,17 @@
     1.4  
     1.5  <h2>System requirements</h2>
     1.6  
     1.7 -<p>Isabelle requires a real Unix box with sufficient resources, say 64 MB
     1.8 -of free main memory and a decent CPU.  Speaking by today's hardware
     1.9 -standards, any moderate Linux box should give a very nice platform for
    1.10 -Isabelle.</p>
    1.11 -
    1.12 -<p>Furthermore, Isabelle needs the following software, which is not part
    1.13 -of the distribution:</p>
    1.14 -<ul>
    1.15 -    <li>A full Standard ML Compiler (e.g. Poly/ML).</li>
    1.16 -    <li>The GNU bash shell (version 1.x or 2.x).</li>
    1.17 -    <li>Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
    1.18 -    is <em>not</em> sufficient).</li>
    1.19 -</ul>
    1.20 -
    1.21 -<p>The following ML system and platform combinations are known to work
    1.22 -very well:</p>
    1.23 +<p>Isabelle requires a regular Unix platform (e.g. GNU Linux) with the
    1.24 +following additional software:</p>
    1.25  
    1.26  <ul>
    1.27 -    <li>Poly/ML 4.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.</li>
    1.28 -    <li>SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).</li>
    1.29 +    <li>A full Standard ML Compiler (e.g. Poly/ML 4.1.x, SML/NJ 110.x).</li>
    1.30 +    <li>The GNU bash shell (version 2.x).</li>
    1.31 +    <li>Perl (version 5.x).</li>
    1.32 +    <li>XEmacs (version 21.4.x) -- for the ProofGeneral interface.</li>
    1.33 +    <li>A complete LaTeX installation (e.g. teTeX 1.0) -- for document preparation.</li>
    1.34  </ul>
    1.35  
    1.36 -<p><a href="http://www.polyml.org/">Poly/ML</a>, previously a
    1.37 -commercial product, is back in the free world.  It is by far the best
    1.38 -compiler for running Isabelle, requiring the least memory and offering
    1.39 -the highest performance.</p>
    1.40 -
    1.41 -<p><a href="http://smlnj.sourceforge.net/">SML/NJ</a> needs more
    1.42 -store and disk space, but on the other hand supports more platforms.
    1.43 -The current official release is 110.</p>
    1.44 -
    1.45  <h2>Installation</h2>
    1.46  
    1.47  <p>Binary packages are available for Isabelle/HOL and ZF for several
    1.48 @@ -118,8 +98,8 @@
    1.49  <p>
    1.50  
    1.51  <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
    1.52 -Institut für Informatik<br>
    1.53 -Technische Universität Mnchen<br>
    1.54 +Institut f&uuml;r Informatik<br>
    1.55 +Technische Universit&auml;t M&uuml;nchen<br>
    1.56  Boltzmannstr. 3<br>
    1.57  D-85748 Garching<br>
    1.58  Germany<br>