updated for release;
authorwenzelm
Mon Nov 23 21:24:15 2009 +0100 (2009-11-23)
changeset 338690ec11efb9124
parent 33868 62251d6b0038
child 33871 caab5399bb2d
updated for release;
Admin/E/README
     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