Mon, 20 Oct 1997 10:48:22 +0200 | wenzelm | adapted to qualified names; | changeset | files |
Mon, 20 Oct 1997 10:39:26 +0200 | wenzelm | Sign.base_name; | changeset | files |
Mon, 20 Oct 1997 10:39:04 +0200 | wenzelm | fixed types of add_XXX; | changeset | files |
Mon, 20 Oct 1997 10:38:36 +0200 | wenzelm | local; | changeset | files |
Mon, 20 Oct 1997 10:38:16 +0200 | wenzelm | local section; | changeset | files |
Sat, 18 Oct 1997 13:23:02 +0200 | nipkow | addsplits | changeset | files |
Fri, 17 Oct 1997 19:07:56 +0200 | wenzelm | adapted to qualified names; | changeset | files |