Thu, 23 Oct 1997 12:48:48 +0200 | wenzelm | Sign.name_of; | changeset | files |
Thu, 23 Oct 1997 12:47:59 +0200 | wenzelm | Sign.stamp_names_of; | changeset | files |
Thu, 23 Oct 1997 12:44:46 +0200 | wenzelm | improved typ parser, exported; | changeset | files |