diff -r 7c3726a3dbec -r c039b8ede204 README.html
--- 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:
-- A full Standard ML Compiler (e.g. Poly/ML).
-
- The GNU bash shell (version 1.x or 2.x).
-
- Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
+
- A full Standard ML Compiler (e.g. Poly/ML).
+
- The GNU bash shell (version 1.x or 2.x).
+
- Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
is not sufficient).
@@ -40,8 +40,8 @@
The following ML system and platform combinations are known to work
very well:
-- Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
-
- SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
+
- Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
+
- SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
Poly/ML, previously a
@@ -101,10 +101,10 @@