| Tue, 06 Jun 2006 20:42:30 +0200 | wenzelm | added zip_options; | file | diff | annotate |
| Sat, 20 May 2006 23:37:02 +0200 | wenzelm | removed obsolete partition (cf. List.partition); | file | diff | annotate |
| Tue, 16 May 2006 13:01:27 +0200 | wenzelm | added divide_and_conquer combinator (by Amine Chaieb); | file | diff | annotate |
| Tue, 09 May 2006 10:07:38 +0200 | haftmann | removed superfluous eq_ord | file | diff | annotate |
| Mon, 08 May 2006 12:23:57 +0200 | webertj | string_of_option tuned | file | diff | annotate |
| Fri, 05 May 2006 18:21:58 +0200 | webertj | string_of_... functions added | file | diff | annotate |
| Tue, 02 May 2006 20:42:37 +0200 | wenzelm | sys_error: exception SYS_ERROR; | file | diff | annotate |
| Sun, 30 Apr 2006 22:50:06 +0200 | wenzelm | added serial_string; | file | diff | annotate |
| Thu, 27 Apr 2006 15:06:39 +0200 | wenzelm | renamed mapfilter to map_filter, made pervasive (again); | file | diff | annotate |
| Wed, 26 Apr 2006 22:38:11 +0200 | wenzelm | removed splitAt (superceded by chop); | file | diff | annotate |
| Tue, 25 Apr 2006 22:23:04 +0200 | wenzelm | made 'flat' pervasive (again); | file | diff | annotate |
| Mon, 24 Apr 2006 16:35:30 +0200 | haftmann | moved coalesce to AList, added equality predicates to library | file | diff | annotate |
| Thu, 13 Apr 2006 12:01:02 +0200 | wenzelm | export unflat (again); | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:17 +0200 | wenzelm | added coalesce; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:09 +0100 | wenzelm | added subtract; | file | diff | annotate |
| Tue, 14 Mar 2006 22:07:33 +0100 | wenzelm | added singleton; | file | diff | annotate |
| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | file | diff | annotate |
| Wed, 22 Feb 2006 10:18:17 +0100 | haftmann | abandoned merge_alists' in favour of generic AList.merge | file | diff | annotate |
| Wed, 15 Feb 2006 21:34:55 +0100 | wenzelm | removed distinct, renamed gen_distinct to distinct; | file | diff | annotate |
| Sat, 11 Feb 2006 17:17:45 +0100 | wenzelm | added chop (sane version of splitAt); | file | diff | annotate |
| Fri, 10 Feb 2006 02:22:19 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 07 Feb 2006 19:56:48 +0100 | wenzelm | removed eq-polymorphic duplicates; | file | diff | annotate |
| Fri, 03 Feb 2006 23:12:31 +0100 | wenzelm | removed obsolete gen_ins/mem; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:17 +0100 | wenzelm | tuned setmp; | file | diff | annotate |
| Sat, 14 Jan 2006 17:14:14 +0100 | wenzelm | added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all; | file | diff | annotate |
| Tue, 03 Jan 2006 11:31:15 +0100 | haftmann | rearranged burrow_split to fold_burrow to allow composition with fold_map | file | diff | annotate |
| Tue, 27 Dec 2005 15:24:23 +0100 | haftmann | added map_index | file | diff | annotate |
| Thu, 22 Dec 2005 00:28:44 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Dec 2005 15:18:36 +0100 | haftmann | added eq_ord | file | diff | annotate |
| Wed, 21 Dec 2005 13:25:20 +0100 | haftmann | discontinued unflat in favour of burrow and burrow_split | file | diff | annotate |
| Tue, 20 Dec 2005 08:38:10 +0100 | haftmann | removed infix prefix, introduces burrow | file | diff | annotate |
| Sat, 17 Dec 2005 01:00:38 +0100 | wenzelm | added sort_distinct; | file | diff | annotate |
| Thu, 08 Dec 2005 20:16:17 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 06 Dec 2005 16:07:10 +0100 | haftmann | added 'dig' combinator | file | diff | annotate |
| Fri, 02 Dec 2005 16:04:48 +0100 | haftmann | added perhaps option combinator | file | diff | annotate |
| Fri, 02 Dec 2005 08:06:59 +0100 | haftmann | introduced new map2, fold | file | diff | annotate |
| Tue, 29 Nov 2005 23:00:03 +0100 | wenzelm | added nth_list; | file | diff | annotate |
| Mon, 28 Nov 2005 13:43:56 +0100 | haftmann | added (curried) fold2 | file | diff | annotate |
| Thu, 10 Nov 2005 20:57:18 +0100 | wenzelm | curried multiply; | file | diff | annotate |
| Mon, 31 Oct 2005 16:00:15 +0100 | haftmann | fold_index replacing foldln | file | diff | annotate |
| Fri, 28 Oct 2005 16:35:40 +0200 | haftmann | cleaned up nth, nth_update, nth_map and nth_string functions | file | diff | annotate |
| Fri, 21 Oct 2005 14:49:49 +0200 | haftmann | abandoned rational number functions in favor of General/rat.ML | file | diff | annotate |
| Tue, 11 Oct 2005 13:28:06 +0200 | wenzelm | moved string_of_pid to ML-Systems; | file | diff | annotate |
| Mon, 10 Oct 2005 15:35:29 +0200 | paulson | small tidy-up of utility functions | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Wed, 21 Sep 2005 11:49:31 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 21 Sep 2005 10:32:24 +0200 | haftmann | removed assoc, overwrite | file | diff | annotate |
| Tue, 20 Sep 2005 08:24:18 +0200 | haftmann | improved eq_fst and eq_snd, removed some deprecated stuff | file | diff | annotate |
| Mon, 19 Sep 2005 16:39:27 +0200 | haftmann | removed some deprecated assocation list functions | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:25 +0200 | wenzelm | added exception EXCEPTION of exn * string; | file | diff | annotate |
| Thu, 08 Sep 2005 16:08:50 +0200 | haftmann | added the_list, the_default | file | diff | annotate |
| Mon, 05 Sep 2005 08:14:35 +0200 | haftmann | introduced binding priority 1 for linear combinators etc. | file | diff | annotate |
| Sun, 28 Aug 2005 09:18:22 +0200 | haftmann | added 'these', removed assoc2 | file | diff | annotate |
| Thu, 25 Aug 2005 09:23:40 +0200 | haftmann | added ? combinator for conditional transformations | file | diff | annotate |
| Thu, 18 Aug 2005 11:17:36 +0200 | wenzelm | added tap; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:32 +0200 | wenzelm | tuned unsuffix/unprefix; | file | diff | annotate |
| Mon, 08 Aug 2005 12:15:03 +0200 | nipkow | fixed typo in ratadd | file | diff | annotate |
| Sun, 07 Aug 2005 12:28:10 +0200 | nipkow | added more rat functions | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:38 +0200 | wenzelm | tuned dict_ord; | file | diff | annotate |
| Tue, 19 Jul 2005 17:21:50 +0200 | wenzelm | added has_duplicates; | file | diff | annotate |