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 |