src/Pure/System/system_dialog.scala
Sat, 07 Sep 2013 16:33:10 +0200 wenzelm tuned imports;
Sat, 07 Sep 2013 15:28:16 +0200 wenzelm more robust exit;
Sat, 07 Sep 2013 15:10:33 +0200 wenzelm Build_Dialog based on System_Dialog;
Sat, 07 Sep 2013 14:14:25 +0200 wenzelm clarified close operations;
Sat, 07 Sep 2013 14:07:12 +0200 wenzelm clarified result;
Sat, 07 Sep 2013 13:59:47 +0200 wenzelm dialog for system processes, with optional output window;
less more (0) tip