| Tue, 24 Mar 2015 19:43:23 +0100 | wenzelm | option to control old-style schematic mode; | changeset | files |
| Tue, 24 Mar 2015 18:36:29 +0100 | wenzelm | clarified role of Name.uu_, which happens to be the internal replacement of the first underscore under certain assumptions about the context; | changeset | files |
| Tue, 24 Mar 2015 16:17:07 +0100 | wenzelm | tuned; | changeset | files |