| Wed, 28 Jul 2010 15:34:10 +0200 | blanchet | fix proof reconstruction for latest Vampire | changeset | files |
| Wed, 28 Jul 2010 10:45:49 +0200 | blanchet | renaming | changeset | files |
| Wed, 28 Jul 2010 10:06:06 +0200 | blanchet | support latest version of Vampire (1.0) locally | changeset | files |
| Wed, 28 Jul 2010 00:53:24 +0200 | blanchet | improve detection of installed SPASS | changeset | files |
| Wed, 28 Jul 2010 11:42:48 +0200 | wenzelm | merged | changeset | files |
| Tue, 27 Jul 2010 20:16:14 +0200 | blanchet | merge | changeset | files |
| Tue, 27 Jul 2010 20:16:03 +0200 | blanchet | compile | changeset | files |
| Tue, 27 Jul 2010 19:41:19 +0200 | blanchet | minor refactoring | changeset | files |
| Tue, 27 Jul 2010 19:17:15 +0200 | blanchet | standardize "Author" tags | changeset | files |
| Tue, 27 Jul 2010 18:50:22 +0200 | blanchet | remove unused fun | changeset | files |
| Tue, 27 Jul 2010 18:45:55 +0200 | blanchet | reorder ML files in theory | changeset | files |
| Tue, 27 Jul 2010 18:38:10 +0200 | blanchet | get rid of "FOLClause" (obsoleted by FOF-enabled "FOLFormula") | changeset | files |