Mon, 29 Sep 1997 15:08:47 +0200 | wenzelm | margin 76 (2nd try :-); | changeset | files |
Mon, 29 Sep 1997 14:12:02 +0200 | wenzelm | fixed href to html library; | changeset | files |
Mon, 29 Sep 1997 14:11:18 +0200 | wenzelm | improved warning; | changeset | files |