Tue, 20 May 1997 19:30:34 +0200 | wenzelm | now generated automatically from README.html; | changeset | files |
Tue, 20 May 1997 19:29:50 +0200 | wenzelm | README generation; | changeset | files |
Tue, 20 May 1997 19:29:04 +0200 | wenzelm | removed Cambridge font server; | changeset | files |