src/Pure/System/build_dialog.scala
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