| Tue, 17 Jul 2001 15:07:36 +0200 | paulson | tidying the index | changeset | files |
| Tue, 17 Jul 2001 13:46:21 +0200 | paulson | tidying the index | changeset | files |
| Mon, 16 Jul 2001 13:14:19 +0200 | paulson | indexing | changeset | files |
| Sun, 15 Jul 2001 14:48:36 +0200 | wenzelm | abtract non-emptiness statements (no longer use Eps); | changeset | files |
| Sun, 15 Jul 2001 14:47:28 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 13 Jul 2001 18:28:46 +0200 | paulson | working | changeset | files |
| Fri, 13 Jul 2001 18:22:13 +0200 | paulson | oops | changeset | files |
| Fri, 13 Jul 2001 18:20:26 +0200 | paulson | fixed bad error in tdxbold; also removed default indexing in \\rulename | changeset | files |