# HG changeset patch
# User wenzelm
# Date 1212186844 -7200
# Node ID 504b6f597233620ea1a9ffc80135e049063070d4
# Parent  8c558af86e21e17f41a626d7d0c2cdeae2c32fe0
updated to E 0.999-006;

diff -r 8c558af86e21 -r 504b6f597233 Admin/E/README
--- 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$