Wed, 05 May 1999 14:31:31 +0200 | wenzelm | tuned rpm file names; | changeset | files |
Wed, 05 May 1999 14:31:17 +0200 | wenzelm | updated docs; | changeset | files |
Wed, 05 May 1999 09:44:48 +0200 | nipkow | Bibtex database for documentation. | changeset | files |