Thu, 10 Apr 2008 00:46:40 +0200 | haftmann | improvements are strict | changeset | files |
Thu, 10 Apr 2008 00:46:38 +0200 | haftmann | check validity of class target improvement | changeset | files |
Wed, 09 Apr 2008 21:49:37 +0200 | wenzelm | print_consts only for external specifications; | changeset | files |