src/Pure/System/gui.scala
Wed, 18 Sep 2013 15:50:59 +0200 wenzelm tuned signature;
Sat, 07 Sep 2013 11:36:03 +0200 wenzelm more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap;
Thu, 04 Apr 2013 18:25:47 +0200 wenzelm added missing file;
less more (0) tip