| Fri, 23 Oct 1998 20:36:21 +0200 | oheimb | corrected (and simplified) depth_tac | changeset | files |
| Fri, 23 Oct 1998 20:35:56 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | changeset | files |
| Fri, 23 Oct 1998 20:35:19 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | changeset | files |
| Fri, 23 Oct 1998 20:34:59 +0200 | oheimb | added SOLVE tactical | changeset | files |
| Fri, 23 Oct 1998 20:28:33 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 23 Oct 1998 19:40:00 +0200 | wenzelm | matharray; | changeset | files |
| Fri, 23 Oct 1998 19:35:20 +0200 | wenzelm | SYNC: records (draft version); | changeset | files |