Sat, 24 Oct 2009 19:22:39 +0200 | wenzelm | eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already; | changeset | files |
Sat, 24 Oct 2009 19:20:03 +0200 | wenzelm | eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already; | changeset | files |
Sat, 24 Oct 2009 19:04:57 +0200 | wenzelm | maintain abstract entry, with position, identity etc.; | changeset | files |