lib/Tools/build_dialog
2012-12-15 wenzelm clarified build_dialog command line;
2012-12-06 wenzelm clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL);
2012-12-06 wenzelm avoid startup within GUI thread -- it is only required later for dialog;
2012-12-06 wenzelm more uniform default logic, using settings, options, args etc.;
2012-12-05 wenzelm check for existing image (even if outdated);
2012-12-05 wenzelm more elementary dialog, with less interaction;
2012-12-05 wenzelm basic wrapper for session build dialog;
less more (0) tip