| Tue, 24 May 2011 11:55:59 +0200 | blanchet | added quietness flag | changeset | files |
| Tue, 24 May 2011 10:03:15 +0200 | blanchet | pass fewer relevant facts to less used remote systems | changeset | files |
| Tue, 24 May 2011 10:01:03 +0200 | blanchet | more work on parsing LEO-II proofs and extracting uses of extensionality | changeset | files |
| Tue, 24 May 2011 10:01:00 +0200 | blanchet | tuning | changeset | files |
| Tue, 24 May 2011 10:00:38 +0200 | blanchet | more work on parsing LEO-II proofs without lambdas | changeset | files |
| Tue, 24 May 2011 00:01:33 +0200 | blanchet | slightly gracefuller handling of LEO-II and Satallax output | changeset | files |
| Tue, 24 May 2011 00:01:33 +0200 | blanchet | document primitive support for LEO-II and Satallax | changeset | files |