| Sat, 08 Sep 2018 16:55:38 +0200 | wenzelm | merged | changeset | files |
| Sat, 08 Sep 2018 16:52:38 +0200 | wenzelm | ensure foundational order of commits, taking Pure as implicit starting point; | changeset | files |
| Sat, 08 Sep 2018 14:30:31 +0200 | wenzelm | more accurate output; | changeset | files |