| 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 |
| Tue, 31 Mar 2015 20:18:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 Mar 2015 20:07:37 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 Mar 2015 19:39:05 +0200 | wenzelm | tuned -- avoid exotic Name_Space.defined_entry; | changeset | files |
| Tue, 31 Mar 2015 19:16:44 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 31 Mar 2015 17:34:52 +0200 | wenzelm | clarified role of naming for background theory: transform_binding (e.g. for "concealed" flag) uses naming of hypothetical context; | changeset | files |