| Wed, 18 Aug 1999 20:40:28 +0200 | wenzelm | proper writeln of begin_state; | changeset | files |
| Wed, 18 Aug 1999 20:39:41 +0200 | wenzelm | (*no fix_shyps*); | changeset | files |
| Wed, 18 Aug 1999 19:17:29 +0200 | wenzelm | tuned messages; | changeset | files |
| Wed, 18 Aug 1999 18:44:20 +0200 | paulson | from Konrad: support for schematic definitions | changeset | files |