| Sat, 26 Apr 2025 21:33:48 +0200 | wenzelm | merged | changeset | files |
| Sat, 26 Apr 2025 20:52:46 +0200 | wenzelm | more robust output: no markup as last resort; | changeset | files |
| Fri, 25 Apr 2025 18:06:12 +0200 | wenzelm | clarified signature: more scalable output --- avoid adhoc string concatenations after Pretty.string_of; | changeset | files |