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 |