README.html
changeset 13016 c039b8ede204
parent 11575 b4c7cb040644
child 13141 f4ed10eaaff8
     1.1 --- a/README.html	Mon Mar 04 19:08:15 2002 +0100
     1.2 +++ b/README.html	Mon Mar 04 22:31:21 2002 +0100
     1.3 @@ -29,9 +29,9 @@
     1.4  Furthermore, Isabelle needs the following software, which is not part
     1.5  of the distribution:
     1.6  <ul>
     1.7 -<li> A full Standard ML Compiler (e.g. Poly/ML).
     1.8 -<li> The GNU bash shell (version 1.x or 2.x).
     1.9 -<li> Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
    1.10 +<li>A full Standard ML Compiler (e.g. Poly/ML).
    1.11 +<li>The GNU bash shell (version 1.x or 2.x).
    1.12 +<li>Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
    1.13  is <em>not</em> sufficient).
    1.14  </ul>
    1.15  
    1.16 @@ -40,8 +40,8 @@
    1.17  The following ML system and platform combinations are known to work
    1.18  very well:
    1.19  <ul>
    1.20 -<li> Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
    1.21 -<li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
    1.22 +<li>Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
    1.23 +<li>SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
    1.24  </ul>
    1.25  
    1.26  <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a
    1.27 @@ -101,10 +101,10 @@
    1.28  
    1.29  <ul>
    1.30  
    1.31 -<li> <a
    1.32 +<li><a
    1.33  href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">http://www.cl.cam.ac.uk/Research/HVG/Isabelle/</a>
    1.34  
    1.35 -<li> <a href="http://isabelle.in.tum.de">http://isabelle.in.tum.de</a>
    1.36 +<li><a href="http://isabelle.in.tum.de">http://isabelle.in.tum.de</a>
    1.37  
    1.38  </ul>
    1.39