|
30881
|
1 |
This distribution of E 1.0-004 has been compiled according to the
|
|
27031
|
2 |
README included in the official version from
|
|
25432
|
3 |
http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
|
|
|
4 |
|
|
|
5 |
$ tar xvzf E.tgz
|
|
|
6 |
$ cd E
|
|
30881
|
7 |
$ ./configure
|
|
|
8 |
$ make
|
|
25432
|
9 |
|
|
33869
|
10 |
The PROVER/eproof executable has been replaced by a version written in
|
|
|
11 |
perl (by Sascha Boehme).
|
|
25432
|
12 |
|
|
30881
|
13 |
Now the main executables in PROVER/ are moved to the platform-specific
|
|
|
14 |
target directory (E/x86-linux etc.).
|
|
25432
|
15 |
|
|
|
16 |
|
|
33869
|
17 |
Makarius
|
|
|
18 |
23-Nov-2009
|