| Mon, 10 Mar 2014 17:09:40 +0100 | wenzelm | modernized data managed via Name_Space.table; | changeset | files |
| Mon, 10 Mar 2014 16:30:07 +0100 | wenzelm | clarified Args.src: more abstract type, position refers to name only; | changeset | files |
| Mon, 10 Mar 2014 15:30:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 10 Mar 2014 15:20:41 +0100 | wenzelm | prefer Name_Space.pretty with its builtin markup; | changeset | files |