Tue, 11 May 2010 15:47:31 +0200 | wenzelm | support Isabelle plugin properties with defaults; | file | diff | annotate |
Sat, 08 May 2010 21:08:30 +0200 | wenzelm | tuned headers; | file | diff | annotate |
Tue, 15 Dec 2009 00:21:21 +0100 | wenzelm | refined treatment of default logic concerning property and GUI; | file | diff | annotate |
Fri, 11 Dec 2009 23:38:14 +0100 | wenzelm | handle "default" logic; | file | diff | annotate |
Tue, 08 Dec 2009 16:30:20 +0100 | wenzelm | misc modernization of names; | file | diff | annotate | base |