| Thu, 12 Mar 2009 14:30:23 +0100 | wenzelm | axiomatization: more precise treatment of binding; | changeset | files |
| 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 |