| Mon, 13 Oct 1997 12:51:51 +0200 | wenzelm | fixed dots; | changeset | files |
| Mon, 13 Oct 1997 12:48:42 +0200 | wenzelm | print_goals: optional output of const types (set show_consts); | changeset | files |
| Mon, 13 Oct 1997 12:48:23 +0200 | wenzelm | merge: drops path elements; | changeset | files |
| Mon, 13 Oct 1997 11:00:06 +0200 | merz | Absolute URL's for documentation | changeset | files |
| Mon, 13 Oct 1997 10:31:21 +0200 | wenzelm | non-transparent logo; | changeset | files |
| Mon, 13 Oct 1997 10:22:28 +0200 | wenzelm | fixed dots; | changeset | files |
| Mon, 13 Oct 1997 10:14:52 +0200 | wenzelm | hierachically structured name spaces; | changeset | files |