| Mon, 14 May 2018 15:37:26 +0200 | nipkow | cleaning up sorted | changeset | files |
| Sun, 13 May 2018 21:59:41 +0200 | wenzelm | merged | changeset | files |
| Sun, 13 May 2018 21:20:28 +0200 | wenzelm | more uniform types vs. consts; | changeset | files |
| Sun, 13 May 2018 20:24:33 +0200 | wenzelm | more concise information; | changeset | files |