Tue, 01 Dec 1998 14:47:52 +0100 | wenzelm | enum: !!! after seperator; | changeset | files |
Tue, 01 Dec 1998 14:47:26 +0100 | wenzelm | excursion: ERROR_MESSAGE; | changeset | files |
Tue, 01 Dec 1998 14:46:58 +0100 | wenzelm | qed: kind_name (again); | changeset | files |