1 Apr
2006
1 Apr
'06
10:59 p.m.
Thanks for the patch, I have applied it in CVS. -- Matthias Köppe -- http://www.math.uni-magdeburg.de/~mkoeppe (currently @math.ucdavis.edu)