| Sun, 05 Apr 2020 13:05:40 +0200 | wenzelm | clarified names; | file | diff | annotate |
| 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 |