| Thu, 29 Dec 2022 16:17:29 +0100 | wenzelm | support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag"; | changeset | files |
| Thu, 29 Dec 2022 15:54:49 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 29 Dec 2022 15:39:18 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 29 Dec 2022 14:54:32 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 29 Dec 2022 13:00:16 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Dec 2022 12:34:40 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Dec 2022 12:27:55 +0100 | wenzelm | discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06); | changeset | files |