| Sun, 10 Nov 2024 11:38:23 +0100 | wenzelm | more reactive interrupts (via Future.cancel); | changeset | files |
| Sat, 09 Nov 2024 21:34:38 +0100 | wenzelm | Document.Snapshot: support for multiple snippet_commands; | changeset | files |
| Sat, 09 Nov 2024 16:39:33 +0100 | wenzelm | more robust: make double-sure that this is the correct output, not a different version from concurrent GUI_Thread.later; | changeset | files |