| Sat, 02 Apr 2016 22:13:00 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 02 Apr 2016 21:55:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 02 Apr 2016 21:54:51 +0200 | wenzelm | proper type; | changeset | files |
| Sat, 02 Apr 2016 21:10:07 +0200 | wenzelm | careful export of type-dependent functions, without losing their special status; | changeset | files |
| Sat, 02 Apr 2016 20:33:34 +0200 | wenzelm | clarified modules; | changeset | files |
| Sat, 02 Apr 2016 20:23:51 +0200 | wenzelm | clarified modules; | changeset | files |