Mon, 20 Oct 1997 11:39:29 +0200 | wenzelm | adapted to qualified names; | changeset | files |
Mon, 20 Oct 1997 11:25:39 +0200 | wenzelm | adapted to qualified names; | changeset | files |
Mon, 20 Oct 1997 11:22:29 +0200 | wenzelm | tuned; | changeset | files |
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 |