| Tue, 03 Mar 2009 15:09:08 +0100 | wenzelm | Binding.str_of; | changeset | files |
| Tue, 03 Mar 2009 15:09:07 +0100 | wenzelm | renamed Binding.display to Binding.str_of, which is slightly more canonical; | changeset | files |
| Tue, 03 Mar 2009 14:54:12 +0100 | wenzelm | nicer_shortest: use NameSpace.extern_flags with disabled "features" instead of internal NameSpace.get_accesses; | changeset | files |