| Sat, 04 Aug 2018 00:19:23 +0100 | paulson | merged | changeset | files |
| Sat, 04 Aug 2018 00:19:15 +0100 | paulson | de-applying | changeset | files |
| Fri, 03 Aug 2018 21:38:54 +0200 | wenzelm | tuned output; | changeset | files |
| Fri, 03 Aug 2018 20:14:13 +0200 | wenzelm | tuned signature -- removed somewhat pointless operation; | changeset | files |
| Fri, 03 Aug 2018 15:29:18 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 03 Aug 2018 15:29:11 +0200 | wenzelm | more operations (as in ML); | changeset | files |
| Fri, 03 Aug 2018 15:04:24 +0200 | wenzelm | more explicit entity kind; | changeset | files |