Tue, 07 Aug 2007 20:19:55 +0200 | wenzelm | turned Unify flags into configuration options (global only); | changeset | files |
Tue, 07 Aug 2007 20:19:54 +0200 | wenzelm | usedir: added options -M -T for multithreading; | changeset | files |
Tue, 07 Aug 2007 20:19:52 +0200 | wenzelm | removed 'declare' from tactic emulations; | changeset | files |