| Mon, 10 Mar 2014 15:20:41 +0100 | wenzelm | prefer Name_Space.pretty with its builtin markup; | changeset | files |
| Mon, 10 Mar 2014 15:04:01 +0100 | wenzelm | tuned signature -- prefer Name_Space.get with its builtin error; | changeset | files |
| Mon, 10 Mar 2014 13:55:03 +0100 | wenzelm | abstract type Name_Space.table; | changeset | files |