| Mon, 04 Dec 2017 22:54:31 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 04 Dec 2017 22:52:16 +0100 | wenzelm | tuned signature; | changeset | files |
| 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; | changeset | files |