Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README.html
changeset 25126 705f54aeba7c
parent 17547 b0d70cf4ed18 
--- 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>
isabelle