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 |
Wed, 18 Aug 1999 18:10:48 +0200 | wenzelm | sum_case renamed to basic_sum_case; | changeset | files |