| Thu, 12 Mar 2009 13:18:42 +0100 | wenzelm | renamed sticky_prefix to mandatory_path; | changeset | files |
| 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 |
| Thu, 12 Mar 2009 11:09:26 +0100 | wenzelm | renamed bind to define; | changeset | files |
| Thu, 12 Mar 2009 11:07:22 +0100 | wenzelm | tuned signature; | changeset | files |