| Wed, 31 May 2000 14:29:29 +0200 | wenzelm | transfer now automatic; | changeset | files |
| Wed, 31 May 2000 14:27:12 +0200 | wenzelm | removed 'transfer' att (is now automatic); | changeset | files |
| Wed, 31 May 2000 14:26:46 +0200 | wenzelm | get_thm(s): automatic transfer; | changeset | files |
| Wed, 31 May 2000 14:14:59 +0200 | wenzelm | tuned tactic emulation; | changeset | files |