wenzelm [Sat, 07 Sep 2013 18:24:24 +0200] rev 53463
generate application wrapper for Linux;
wenzelm [Sat, 07 Sep 2013 17:43:13 +0200] rev 53462
observe "stopped" after Cygwin init (which is itself uninterruptible);
wenzelm [Sat, 07 Sep 2013 17:32:55 +0200] rev 53461
clarified modules;
wenzelm [Sat, 07 Sep 2013 17:23:05 +0200] rev 53460
tuned signature;
wenzelm [Sat, 07 Sep 2013 17:11:44 +0200] rev 53459
Cygwin_Init based on System_Dialog;
wenzelm [Sat, 07 Sep 2013 16:33:10 +0200] rev 53458
tuned imports;
wenzelm [Sat, 07 Sep 2013 15:28:16 +0200] rev 53457
more robust exit;
wenzelm [Sat, 07 Sep 2013 15:10:33 +0200] rev 53456
Build_Dialog based on System_Dialog;
avoid hopping between threads;
wenzelm [Sat, 07 Sep 2013 14:14:25 +0200] rev 53455
clarified close operations;
wenzelm [Sat, 07 Sep 2013 14:07:12 +0200] rev 53454
clarified result;
wenzelm [Sat, 07 Sep 2013 13:59:47 +0200] rev 53453
dialog for system processes, with optional output window;
wenzelm [Sat, 07 Sep 2013 11:36:03 +0200] rev 53452
more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap;
wenzelm [Sat, 07 Sep 2013 11:28:30 +0200] rev 53451
odd workaround for scalac to enable nohup;
wenzelm [Sat, 07 Sep 2013 11:02:27 +0200] rev 53450
odd workaround for scalac to enable nohup;