* Wed Nov 6 2002 Christian Bauer <Christian.Bauer@uni-mainz.de>
Added HTML and DVI docs to devel package
* Tue Nov 5 2001 Christian Bauer <Christian.Bauer@uni-mainz.de>
* Wed Nov 6 2002 Christian Bauer <Christian.Bauer@uni-mainz.de>
Added HTML and DVI docs to devel package
* Tue Nov 5 2001 Christian Bauer <Christian.Bauer@uni-mainz.de>