| Sat, 17 Nov 2018 15:56:11 +0100 | wenzelm | prefer more powerful machine; | changeset | files |
| Fri, 16 Nov 2018 16:21:21 +0100 | wenzelm | renovated macOS tests; | changeset | files |
| Thu, 15 Nov 2018 21:44:25 +0100 | wenzelm | proper citation (amending d8205bb279a7); | changeset | files |