| Thu, 08 Sep 2022 17:42:48 +0200 | wenzelm | support multiple sessions, with cumulative errors; | changeset | files |
| Thu, 08 Sep 2022 16:59:49 +0200 | wenzelm | support regex patterns on messages; | changeset | files |
| Thu, 08 Sep 2022 16:22:44 +0200 | wenzelm | support Pretty.unformatted, similar to ML version; | changeset | files |
| Thu, 08 Sep 2022 13:16:46 +0200 | wenzelm | removed odd TODO item (see 3391a493f39a); | changeset | files |