| Tue, 08 Aug 2017 12:21:29 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 22 Jun 2017 14:27:13 +0200 | wenzelm | more informative task_statistics; | file | diff | annotate |
| Mon, 05 Sep 2016 23:11:00 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 09 Apr 2016 14:00:23 +0200 | wenzelm | clarified bootstrap; | file | diff | annotate |
| Wed, 06 Apr 2016 17:16:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 02 Apr 2016 23:29:05 +0200 | wenzelm | prefer infix operations; | file | diff | annotate |
| Sat, 02 Apr 2016 21:10:07 +0200 | wenzelm | careful export of type-dependent functions, without losing their special status; | file | diff | annotate |