Tue, 31 Mar 2015 23:42:57 +0200 | wenzelm | more visibility flags on background naming; | changeset | files |
Tue, 31 Mar 2015 22:31:05 +0200 | wenzelm | support for explicit scope of private entries; | changeset | files |
Tue, 31 Mar 2015 21:12:22 +0200 | wenzelm | subtle change of long-standing name space policy: unknown entries are treated as hidden, consequently "private" is understood in the strict sense; | changeset | files |