| Mon, 19 Dec 2022 14:27:26 +0100 | wenzelm | tuned signature, following Document_Dockable; | changeset | files |
| Mon, 19 Dec 2022 14:10:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 19 Dec 2022 13:40:36 +0100 | wenzelm | clarified GUI; | changeset | files |
| Mon, 19 Dec 2022 13:28:58 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 19 Dec 2022 13:28:46 +0100 | wenzelm | proper thread context; | changeset | files |
| Mon, 19 Dec 2022 13:20:09 +0100 | wenzelm | more informative errors, including optional Exn.trace; | changeset | files |
| Mon, 19 Dec 2022 13:06:59 +0100 | wenzelm | clarified state change: presumably more robust; | changeset | files |