| Tue, 20 Jun 2017 13:07:47 +0200 | haftmann | avoid ancient [code, code del] antipattern | file | diff | annotate |
| Sat, 17 Oct 2015 13:18:43 +0200 | haftmann | qualify some names stemming from internal bootstrap constructions | file | diff | annotate |
| Fri, 04 Sep 2015 19:22:13 +0200 | wenzelm | modernized name space management -- more uniform qualification; | file | diff | annotate |