| Tue, 24 May 2011 13:29:32 +0200 | blanchet | further reduce the number of facts passed to less used remote ATPs | changeset | files |
| 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 |