Sun, 25 Oct 2009 19:18:59 +0100 | wenzelm | maintain group via name space, not tags; | changeset | files |
Sun, 25 Oct 2009 19:18:25 +0100 | wenzelm | maintain proper Name_Space.naming, with conceal and set_group; | changeset | files |
Sun, 25 Oct 2009 19:17:42 +0100 | wenzelm | more direct access to naming; | changeset | files |