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.
tuned;
authorwenzelm
Mon, 19 Jan 1998 16:26:11 +0100
changeset 4582 c5cfd00e4f28
parent 4581 52edf5ac3afa
child 4583 6d9be46ea566
tuned;
README.html file | annotate | diff | comparison | revisions 
--- a/README.html	Mon Jan 19 16:25:36 1998 +0100
+++ b/README.html	Mon Jan 19 16:26:11 1998 +0100
@@ -60,7 +60,7 @@
 <a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a
 commercial product and costs money, but it is stable and efficient. It
 requires relatively little memory (starting at about 16MB) and disk
-space (about 40MB for all distributed object logics).
+space (about 60MB for all distributed object logics).
 
 <p>
isabelle