Tue, 20 Sep 2005 18:43:39 +0200 | paulson | tidying, and support for axclass/classrel clauses | file | diff | annotate |
Wed, 13 Jul 2005 16:07:24 +0200 | wenzelm | tuned; | file | diff | annotate |
Sat, 11 Jun 2005 22:15:52 +0200 | wenzelm | accomodate changed #classes; | file | diff | annotate |
Tue, 30 Nov 2004 18:25:55 +0100 | paulson | resolution package tools by Jia Meng | file | diff | annotate |