# HG changeset patch
# User wenzelm
# Date 1192905238 -7200
# Node ID 705f54aeba7ceced3425e94b58ad909c697ddf63
# Parent  23d4cab56a7f116669e656e829ba409e93dc4824
updated versions;

diff -r 23d4cab56a7f -r 705f54aeba7c README.html
--- a/README.html	Sat Oct 20 20:33:06 2007 +0200
+++ b/README.html	Sat Oct 20 20:33:58 2007 +0200
@@ -25,11 +25,11 @@
 following additional software:</p>
 
 <ul>
-    <li>A full Standard ML Compiler (e.g. Poly/ML 4.1.x, SML/NJ 110.x).</li>
-    <li>The GNU bash shell (version 2.x).</li>
+    <li>A full Standard ML Compiler (e.g. Poly/ML 5.x, 4.x).</li>
+    <li>The GNU bash shell (version 3.x, 2.x).</li>
     <li>Perl (version 5.x).</li>
     <li>XEmacs (version 21.4.x) -- for the ProofGeneral interface.</li>
-    <li>A complete LaTeX installation (e.g. teTeX 1.0) -- for document preparation.</li>
+    <li>A complete LaTeX installation -- for document preparation.</li>
 </ul>
 
 <h2>Installation</h2>