| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 05 Dec 2014 19:35:36 +0100 | haftmann | allow multiple inheritance of targets | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Wed, 29 Oct 2014 19:01:49 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Fri, 19 Sep 2014 13:27:04 +0200 | blanchet | made new 'primrec' bootstrapping-capable | file | diff | annotate |
| Wed, 03 Sep 2014 00:06:24 +0200 | blanchet | use 'datatype_new' in 'Main' | file | diff | annotate |