| Thu, 12 Mar 2009 12:04:27 +0100 | wenzelm | replaced old-style add_path/no_base_names by sticky_prefix; | changeset | files |
| Thu, 12 Mar 2009 11:17:34 +0100 | wenzelm | updated according to actual manual title; | changeset | files |
| Thu, 12 Mar 2009 11:10:02 +0100 | wenzelm | renamed NameSpace.bind to NameSpace.define; | changeset | files |