| 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 |