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, 01 Oct 2009 16:09:47 +0200 | wenzelm | handle Pattern.MATCH, not arbitrary exceptions; | file | diff | annotate |
Thu, 10 Sep 2009 15:23:09 +0200 | haftmann | plain structure name; signature constraint; shorter lines | file | diff | annotate | base |