Fri, 13 Jul 2001 18:20:26 +0200 | paulson | fixed bad error in tdxbold; also removed default indexing in \\rulename | changeset | files |
Fri, 13 Jul 2001 18:19:29 +0200 | paulson | tweaks | changeset | files |
Fri, 13 Jul 2001 18:08:26 +0200 | paulson | added\\protect | changeset | files |
Fri, 13 Jul 2001 18:07:01 +0200 | paulson | more indexing | changeset | files |
Fri, 13 Jul 2001 17:58:39 +0200 | paulson | indexing tweaks | changeset | files |
Fri, 13 Jul 2001 17:56:05 +0200 | paulson | less indexing of theorem names | changeset | files |