| Tue, 24 Nov 2009 17:28:25 +0100 | haftmann | curried take/drop | file | diff | annotate |
| Thu, 19 Nov 2009 15:41:52 -0800 | huffman | clean up indentation; add 'definitional' option flag | file | diff | annotate |
| Thu, 19 Nov 2009 13:23:58 -0800 | huffman | clean up indentation | file | diff | annotate |
| Wed, 21 Oct 2009 08:14:38 +0200 | haftmann | dropped redundant gen_ prefix | file | diff | annotate |
| Tue, 20 Oct 2009 16:13:01 +0200 | haftmann | replaced old_style infixes eq_set, subset, union, inter and variants by generic versions | file | diff | annotate |
| Thu, 15 Oct 2009 23:28:10 +0200 | wenzelm | replaced String.concat by implode; | file | diff | annotate |
| Tue, 21 Jul 2009 16:14:56 +0200 | haftmann | obey captialized directory names convention | file | diff | annotate | base |