Mon, 04 Dec 2017 21:23:56 +0100 | wenzelm | added GUI_Thread.future (similar to JFX_GUI.Thread.future): useful for experimentation with Scala console in Isabelle/jEdit; | file | diff | annotate |
Fri, 16 Jun 2017 15:59:27 +0200 | wenzelm | more general dispatcher operations; | file | diff | annotate |
Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
Thu, 04 Feb 2016 21:28:56 +0100 | wenzelm | removed unused cancel operation; | file | diff | annotate |
Tue, 03 Nov 2015 13:54:34 +0100 | wenzelm | clarified modules; | file | diff | annotate |
Sat, 19 Sep 2015 20:31:57 +0200 | wenzelm | allow to cancel running event; | file | diff | annotate |
Wed, 23 Jul 2014 11:22:56 +0200 | wenzelm | tuned comments; | file | diff | annotate |
Wed, 23 Jul 2014 11:19:24 +0200 | wenzelm | clarified module name: facilitate alternative GUI frameworks; | file | diff | annotate | base |