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 |
Thu, 29 Dec 2022 12:08:58 +0100 | wenzelm | tuned --- more robust ML patterns; | changeset | files |
Thu, 29 Dec 2022 11:49:11 +0100 | wenzelm | tuned; | changeset | files |