Jan Vroonhof <vroonhof(a)math.ethz.ch>, on 23 Feb 2000 at 09:54:21 +0100
Staying with this theme... I think it is time to submit this version
Agreed. But how should I do it? The diff is enormous, nearly 3 Mbytes,
which is larger than the package itself. Also, binary files are
included (the compiled DTDs).