Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/E/README
changeset 33869 0ec11efb9124
parent 30881 2b9af1f237db 
--- a/Admin/E/README	Mon Nov 23 21:04:00 2009 +0100
+++ b/Admin/E/README	Mon Nov 23 21:24:15 2009 +0100
@@ -1,4 +1,3 @@
-
 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
@@ -8,23 +7,12 @@
   $ ./configure
   $ make
 
-The resulting PROVER/eproof executable has been changed to be
-relocatable:
-
-  $ diff eproof-orig eproof
-  1c1
-  < #!/bin/bash -f
-  ---
-  > #!/usr/bin/env bash
-  3c3,4
-  < EXECPATH=/Users/schulz/SOURCES/Projects/E/PROVER
-  ---
-  > set -o noglob
-  > EXECPATH="$(cd "$(dirname "$0")"; pwd)"
+The PROVER/eproof executable has been replaced by a version written in
+perl (by Sascha Boehme).
 
 Now the main executables in PROVER/ are moved to the platform-specific
 target directory (E/x86-linux etc.).
 
 
-	Makarius
-	07-Apr-2009
+        Makarius
+        23-Nov-2009
isabelle