| Tue, 24 May 2011 17:05:29 +0200 | blanchet | hack to obtain potable step names from Waldmeister | changeset | files |
| Tue, 24 May 2011 17:04:35 +0200 | blanchet | respect user's intention better when setting the CNF_UEQ type system (esp. w.r.t. "erased") | changeset | files |
| Tue, 24 May 2011 13:29:32 +0200 | blanchet | further reduce the number of facts passed to less used remote ATPs | changeset | files |