1.1 --- a/Admin/E/README Mon Nov 23 21:04:00 2009 +0100
1.2 +++ b/Admin/E/README Mon Nov 23 21:24:15 2009 +0100
1.3 @@ -1,4 +1,3 @@
1.4 -
1.5 This distribution of E 1.0-004 has been compiled according to the
1.6 README included in the official version from
1.7 http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
1.8 @@ -8,23 +7,12 @@
1.9 $ ./configure
1.10 $ make
1.11
1.12 -The resulting PROVER/eproof executable has been changed to be
1.13 -relocatable:
1.14 -
1.15 - $ diff eproof-orig eproof
1.16 - 1c1
1.17 - < #!/bin/bash -f
1.18 - ---
1.19 - > #!/usr/bin/env bash
1.20 - 3c3,4
1.21 - < EXECPATH=/Users/schulz/SOURCES/Projects/E/PROVER
1.22 - ---
1.23 - > set -o noglob
1.24 - > EXECPATH="$(cd "$(dirname "$0")"; pwd)"
1.25 +The PROVER/eproof executable has been replaced by a version written in
1.26 +perl (by Sascha Boehme).
1.27
1.28 Now the main executables in PROVER/ are moved to the platform-specific
1.29 target directory (E/x86-linux etc.).
1.30
1.31
1.32 - Makarius
1.33 - 07-Apr-2009
1.34 + Makarius
1.35 + 23-Nov-2009