Wed, 31 Dec 2014 14:15:52 +0100 | wenzelm | for graph display, prefer graph data structure over list with dependencies; | file | diff | annotate |
Wed, 31 Dec 2014 14:13:11 +0100 | wenzelm | more explict and generic field names | file | diff | annotate |
Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
Mon, 03 Nov 2014 14:50:27 +0100 | wenzelm | eliminated unused int_only flag (see also c12484a27367); | file | diff | annotate |
Thu, 21 Aug 2014 22:48:39 +0200 | wenzelm | tuned signature -- define some elementary operations earlier; | file | diff | annotate |
Thu, 14 Aug 2014 10:48:40 +0200 | wenzelm | tuned signature -- prefer self-contained user-space tool; | file | diff | annotate | base |