| Tue, 03 Apr 2007 19:24:19 +0200 | wenzelm | avoid clash with Alice keywords; | file | diff | annotate |
| Tue, 28 Nov 2006 00:35:18 +0100 | wenzelm | simplified '?' operator; | file | diff | annotate |
| Tue, 10 Oct 2006 13:59:13 +0200 | haftmann | gen_rem(s) abandoned in favour of remove / subtract | file | diff | annotate |
| Wed, 04 Oct 2006 14:17:38 +0200 | haftmann | insert replacing ins ins_int ins_string | file | diff | annotate |
| Thu, 21 Sep 2006 19:04:20 +0200 | wenzelm | member (op =); | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:35 +0200 | wenzelm | tuned basic list operators (flat, maps, map_filter); | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |