| Sat, 01 Apr 2023 13:58:45 +0200 | wenzelm | misc tuning and clarification: more tight representation; | changeset | files |
| Sat, 01 Apr 2023 13:04:59 +0200 | wenzelm | tuned: prefer "build" combinator; | changeset | files |
| Sat, 01 Apr 2023 15:52:40 +0200 | nipkow | tuned | changeset | files |