| 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 |