changeset 27031 | 504b6f597233 |
parent 25432 | 5538dea9474e |
child 30881 | 2b9af1f237db |
--- a/Admin/E/README Fri May 30 23:33:41 2008 +0200 +++ b/Admin/E/README Sat May 31 00:34:04 2008 +0200 @@ -1,6 +1,6 @@ -This distribution of E 0.999 has been compiled according to the README -included in the official version from +This distribution of E 0.999-006 has been compiled according to the +README included in the official version from http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html $ tar xvzf E.tgz @@ -26,6 +26,6 @@ Makarius - 14-Nov-2007 + 31-May-2008 $Id$