| Thu, 27 Aug 2015 21:19:48 +0200 | haftmann | standardized some occurences of ancient "split" alias | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Tue, 07 Jul 2015 18:37:24 +0200 | blanchet | have the installed termination prover take a 'quiet' flag | file | diff | annotate |
| Wed, 08 Apr 2015 11:52:53 +0200 | wenzelm | tuned signature; | file | diff | annotate |