| Thu, 10 Dec 2020 17:41:46 +0100 | wenzelm | clarified messages; | changeset | files |
| Thu, 10 Dec 2020 17:14:49 +0100 | wenzelm | clarified types; | changeset | files |
| Thu, 10 Dec 2020 17:09:06 +0100 | wenzelm | clarified Pretty.Metric, as for build errors; | changeset | files |
| Thu, 10 Dec 2020 17:01:59 +0100 | wenzelm | clarified types; | changeset | files |
| Thu, 10 Dec 2020 17:01:14 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 10 Dec 2020 16:47:06 +0100 | wenzelm | clarified: omit presumably pointless Markup.Serial (see also 0b9334adcf05); | changeset | files |
| Thu, 10 Dec 2020 16:35:56 +0100 | wenzelm | clarified signature: more specific types; | changeset | files |
| Thu, 10 Dec 2020 15:27:41 +0100 | wenzelm | tuned messages; | changeset | files |