| Sun, 12 Sep 2021 20:24:14 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Sat, 18 Jul 2015 20:54:56 +0200 | wenzelm | prefer tactics with explicit context; | file | diff | annotate |
| Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
| Sat, 14 May 2011 11:42:43 +0200 | wenzelm | modernized functor names; | file | diff | annotate |
| Sat, 26 Mar 2011 19:16:20 +0100 | wenzelm | more direct loose_bvar1; | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |