# HG changeset patch
# User wenzelm
# Date 1239132354 -7200
# Node ID e4fec43592e461de0177e28af0fae301fa169be3
# Parent  d15725e840916b8afd1389be4023318a41cb8541# Parent  2b9af1f237db2e9dc7c50b9a6e35b2db1c89cf72
merged

diff -r d15725e84091 -r e4fec43592e4 Admin/E/README
--- a/Admin/E/README	Tue Apr 07 21:24:39 2009 +0200
+++ b/Admin/E/README	Tue Apr 07 21:25:54 2009 +0200
@@ -1,14 +1,15 @@
 
-This distribution of E 0.999-006 has been compiled according to the
+This distribution of E 1.0-004 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
   $ cd E
-  $ make install
-  $ make install-exec
+  $ ./configure
+  $ make
 
-The resulting eproof executable has been changed to be relocatable:
+The resulting PROVER/eproof executable has been changed to be
+relocatable:
 
   $ diff eproof-orig eproof
   1c1
@@ -16,16 +17,14 @@
   ---
   > #!/usr/bin/env bash
   3c3,4
-  < EXECPATH=~/bin
+  < EXECPATH=/Users/schulz/SOURCES/Projects/E/PROVER
   ---
   > set -o noglob
   > EXECPATH="$(cd "$(dirname "$0")"; pwd)"
 
-Now all executables are moved to the platform-specific target
-directory (e.g. E/x86-linux).
+Now the main executables in PROVER/ are moved to the platform-specific
+target directory (E/x86-linux etc.).
 
 
 	Makarius
-	31-May-2008
-
-$Id$
+	07-Apr-2009