| Tue, 26 Oct 2010 14:48:55 +0200 | blanchet | tuning | changeset | files |
| Tue, 26 Oct 2010 15:00:57 +0200 | haftmann | merged | changeset | files |
| Tue, 26 Oct 2010 14:06:22 +0200 | haftmann | consider base sorts of superclasses simultaneously during processing of class specification -- avoids clash of different base sorts | changeset | files |