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