Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated versions;
authorwenzelm
Sat, 20 Oct 2007 20:33:58 +0200
changeset 25126 705f54aeba7c
parent 25125 23d4cab56a7f
child 25127 afb5e602ce9d
updated versions;
README.html file | annotate | diff | comparison | revisions 
--- 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