isabelle: Changelog

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;

isabelle