Wed, 15 Nov 2006 20:50:22 +0100 | wenzelm | replaced NameSpace.append by NameSpace.qualified, which handles empty names as expected; | changeset | files |
Wed, 15 Nov 2006 20:50:21 +0100 | wenzelm | replaced NameSpace.append by NameSpace.qualified, which handles empty names as expected; | changeset | files |
Wed, 15 Nov 2006 17:05:48 +0100 | haftmann | dropping accidental self-imports | changeset | files |
Wed, 15 Nov 2006 17:05:47 +0100 | haftmann | corrected polymorphism check | changeset | files |