src/Pure/GUI/gui_thread.scala
Mon, 06 Apr 2020 21:22:42 +0200 wenzelm tuned;
Mon, 06 Apr 2020 12:53:45 +0200 wenzelm clarified modules;
Sun, 05 Apr 2020 13:05:40 +0200 wenzelm clarified names;
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;
less more (0) -4 tip