Admin/E/README
author nipkow
Tue, 22 Mar 2011 12:49:07 +0100
changeset 42059 83f3dc509068
parent 33869 0ec11efb9124
permissions -rw-r--r--
fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
     1
This distribution of E 1.0-004 has been compiled according to the
27031
504b6f597233 updated to E 0.999-006;
wenzelm
parents: 25432
diff changeset
     2
README included in the official version from
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     3
http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     4
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     5
  $ tar xvzf E.tgz
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     6
  $ cd E
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
     7
  $ ./configure
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
     8
  $ make
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
     9
33869
0ec11efb9124 updated for release;
wenzelm
parents: 30881
diff changeset
    10
The PROVER/eproof executable has been replaced by a version written in
0ec11efb9124 updated for release;
wenzelm
parents: 30881
diff changeset
    11
perl (by Sascha Boehme).
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    12
30881
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    13
Now the main executables in PROVER/ are moved to the platform-specific
2b9af1f237db updates for E-1.0-004;
wenzelm
parents: 27031
diff changeset
    14
target directory (E/x86-linux etc.).
25432
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    15
5538dea9474e README for E binary distribution;
wenzelm
parents:
diff changeset
    16
33869
0ec11efb9124 updated for release;
wenzelm
parents: 30881
diff changeset
    17
        Makarius
0ec11efb9124 updated for release;
wenzelm
parents: 30881
diff changeset
    18
        23-Nov-2009