| Mon, 20 Oct 1997 11:14:55 +0200 | wenzelm | adapted to qualified names; | changeset | files |
| Mon, 20 Oct 1997 11:14:16 +0200 | wenzelm | lookup long names of types; | changeset | files |
| Mon, 20 Oct 1997 11:08:29 +0200 | wenzelm | tuned qualified names; | changeset | files |
| Mon, 20 Oct 1997 11:06:01 +0200 | wenzelm | adapted to qualified names; | changeset | files |
| 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 |