author | wenzelm |
Tue, 29 Nov 2011 21:50:00 +0100 | |
changeset 45674 | eb65c9d17e2f |
parent 33869 | 0ec11efb9124 |
permissions | -rw-r--r-- |
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 $ ./configure $ make 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 23-Nov-2009