| 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 |
| 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 |
| Mon, 10 Mar 2014 10:13:47 +0100 | wenzelm | more structured order; | changeset | files |
| Mon, 10 Mar 2014 10:04:26 +0100 | wenzelm | more direct Long_Name.qualification; | changeset | files |
| Mon, 10 Mar 2014 09:54:01 +0100 | wenzelm | more restrictive completion: intern/extern stability; | changeset | files |