| Sun, 21 Aug 2022 06:18:23 +0000 | haftmann | streamlined | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| 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 |