| Mon, 20 Oct 1997 11:01:07 +0200 | wenzelm | qualified names; | changeset | files |
| Mon, 20 Oct 1997 10:53:42 +0200 | wenzelm | local; | changeset | files |
| Mon, 20 Oct 1997 10:53:25 +0200 | wenzelm | Sign.base_name; | changeset | files |
| Mon, 20 Oct 1997 10:52:32 +0200 | wenzelm | fixed types of add_XXX; | changeset | files |