src/Pure/GUI/gui_thread.scala
Tue, 03 Nov 2015 13:54:34 +0100 wenzelm clarified modules;
Sat, 19 Sep 2015 20:31:57 +0200 wenzelm allow to cancel running event;
Wed, 23 Jul 2014 11:22:56 +0200 wenzelm tuned comments;
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks;
less more (0) tip