| Thu, 21 Feb 2019 09:15:07 +0000 | haftmann | streamlined specification interfaces | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Mon, 19 Feb 2018 14:49:11 +0100 | wenzelm | tuned signature; | file | diff | annotate |