equal
deleted
inserted
replaced
1 |
1 |
2 This distribution of E 0.999 has been compiled according to the README |
2 This distribution of E 0.999-006 has been compiled according to the |
3 included in the official version from |
3 README included in the official version from |
4 http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html |
4 http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html |
5 |
5 |
6 $ tar xvzf E.tgz |
6 $ tar xvzf E.tgz |
7 $ cd E |
7 $ cd E |
8 $ make install |
8 $ make install |
24 Now all executables are moved to the platform-specific target |
24 Now all executables are moved to the platform-specific target |
25 directory (e.g. E/x86-linux). |
25 directory (e.g. E/x86-linux). |
26 |
26 |
27 |
27 |
28 Makarius |
28 Makarius |
29 14-Nov-2007 |
29 31-May-2008 |
30 |
30 |
31 $Id$ |
31 $Id$ |