Mon, 20 Oct 1997 11:47:04 +0200 | wenzelm | fixed goal_XXX; | changeset | files |
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 |