--- a/README.html Mon Mar 04 19:08:15 2002 +0100
+++ b/README.html Mon Mar 04 22:31:21 2002 +0100
@@ -29,9 +29,9 @@
Furthermore, Isabelle needs the following software, which is not part
of the distribution:
<ul>
-<li> A full Standard ML Compiler (e.g. Poly/ML).
-<li> The GNU bash shell (version 1.x or 2.x).
-<li> Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
+<li>A full Standard ML Compiler (e.g. Poly/ML).
+<li>The GNU bash shell (version 1.x or 2.x).
+<li>Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
is <em>not</em> sufficient).
</ul>
@@ -40,8 +40,8 @@
The following ML system and platform combinations are known to work
very well:
<ul>
-<li> Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
-<li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
+<li>Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
+<li>SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
</ul>
<p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a
@@ -101,10 +101,10 @@
<ul>
-<li> <a
+<li><a
href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/">http://www.cl.cam.ac.uk/Research/HVG/Isabelle/</a>
-<li> <a href="http://isabelle.in.tum.de">http://isabelle.in.tum.de</a>
+<li><a href="http://isabelle.in.tum.de">http://isabelle.in.tum.de</a>
</ul>