| Thu, 03 Jan 2002 17:48:02 +0100 | wenzelm | next round of updates; | file | diff | annotate |
| Wed, 02 Jan 2002 21:53:50 +0100 | wenzelm | first stage of major update; | file | diff | annotate |
| Mon, 12 Feb 2001 20:44:02 +0100 | wenzelm | \<subseteq> syntax for classes/classrel/axclass/instance; | file | diff | annotate |
| Wed, 10 Jan 2001 20:18:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 16 Dec 2000 21:40:49 +0100 | wenzelm | \isasymequiv; | file | diff | annotate |
| Mon, 11 Dec 2000 20:08:19 +0100 | wenzelm | harpoons; | file | diff | annotate |
| Tue, 17 Oct 2000 22:25:23 +0200 | wenzelm | tuned; | file | diff | annotate |