Wed, 18 Sep 2013 16:18:17 +0200 | wenzelm | limit for text height; | file | diff | annotate |
Wed, 18 Sep 2013 15:50:59 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 07 Sep 2013 11:36:03 +0200 | wenzelm | more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap; | file | diff | annotate |
Thu, 04 Apr 2013 18:25:47 +0200 | wenzelm | added missing file; | file | diff | annotate |