src/Pure/System/build_dialog.scala
Wed, 05 Dec 2012 20:43:02 +0100 wenzelm evade ugly default font, notably on Windows laf;
Wed, 05 Dec 2012 20:24:49 +0100 wenzelm center main window;
Wed, 05 Dec 2012 19:46:47 +0100 wenzelm more direct dialog via existing GUI components;
Wed, 05 Dec 2012 19:08:23 +0100 wenzelm tuned message;
Wed, 05 Dec 2012 18:07:32 +0100 wenzelm tuned message;
Wed, 05 Dec 2012 17:48:58 +0100 wenzelm tuned OK feedback;
Wed, 05 Dec 2012 17:38:43 +0100 wenzelm check for existing image (even if outdated);
Wed, 05 Dec 2012 17:05:25 +0100 wenzelm more elementary dialog, with less interaction;
Wed, 05 Dec 2012 16:33:02 +0100 wenzelm basic interaction with build process;
Wed, 05 Dec 2012 14:19:44 +0100 wenzelm basic wrapper for session build dialog;
less more (0) tip