| Tue, 24 Aug 2010 15:29:13 +0200 | blanchet | revert this idea of automatically invoking "metisFT" when "metis" fails; | changeset | files |
| Tue, 24 Aug 2010 22:38:45 +0800 | Christian Urban | use matching of types than just equality - this is needed in nominal to cope with type variables | changeset | files |
| Tue, 24 Aug 2010 15:08:05 +0200 | blanchet | merge | changeset | files |
| Tue, 24 Aug 2010 15:07:54 +0200 | blanchet | cosmetics | changeset | files |
| Tue, 24 Aug 2010 15:06:47 +0200 | blanchet | use a soft time limit for E | changeset | files |
| Tue, 24 Aug 2010 14:36:29 +0200 | blanchet | make remote ATP versions more robust, by starting with "preferred" version numbers and falling back on any version | changeset | files |
| Mon, 23 Aug 2010 23:32:11 +0200 | blanchet | cosmetics | changeset | files |