src/Pure/System/gui_setup.scala
Sun, 28 Jun 2009 22:50:37 +0200 wenzelm improved display;
Sun, 28 Jun 2009 22:35:23 +0200 wenzelm display some platform information;
Sun, 28 Jun 2009 16:46:00 +0200 wenzelm sane platform look-and-feel;
Sun, 28 Jun 2009 16:01:52 +0200 wenzelm minimal GUI_Setup, which is the main class of Pure.jar;
less more (0) tip