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.
Perl no longer optional;
authorwenzelm
Thu, 06 Nov 1997 16:44:35 +0100
changeset 4183 706902a9abdd
parent 4182 47067b5db7ef
child 4184 23a09f2fd687
Perl no longer optional;
README.html file | annotate | diff | comparison | revisions 
--- a/README.html	Thu Nov 06 16:41:08 1997 +0100
+++ b/README.html	Thu Nov 06 16:44:35 1997 +0100
@@ -36,9 +36,6 @@
 <li> Perl 5.x - the Pathologically Eclectic Rubbish Lister.
 </ul>
 
-The ML system and GNU bash are absolutely essential. Perl is optional
-for core functionality, but still highly recommended.
-
 <p>
 
 The following ML system and platform combinations are known to work
isabelle