| Tue, 27 Dec 2022 12:15:47 +0100 | wenzelm | clarified signature: avoid case class with mutable state; | changeset | files |
| Tue, 27 Dec 2022 12:00:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 27 Dec 2022 11:44:37 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Tue, 27 Dec 2022 10:38:34 +0000 | paulson | merged | changeset | files |