| 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 |