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 to E 0.999-006;
authorwenzelm
Sat, 31 May 2008 00:34:04 +0200
changeset 27031 504b6f597233
parent 27030 8c558af86e21
child 27032 6fd85edc403d
updated to E 0.999-006;
Admin/E/README file | annotate | diff | comparison | revisions 
--- 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$
isabelle