| Tue, 28 Nov 2006 00:35:18 +0100 | wenzelm | simplified '?' operator; | file | diff | annotate |
| Thu, 23 Nov 2006 00:52:07 +0100 | wenzelm | moved string_of_pair/list/option to structure ML_Syntax; | file | diff | annotate |
| Thu, 16 Nov 2006 01:07:25 +0100 | wenzelm | moved some fundamental concepts to General/basics.ML; | file | diff | annotate |
| Mon, 13 Nov 2006 15:43:13 +0100 | haftmann | added higher-order combinators for structured results | file | diff | annotate |
| Sun, 05 Nov 2006 21:44:35 +0100 | wenzelm | removed obsolete first_duplicate; | file | diff | annotate |
| Tue, 31 Oct 2006 09:29:11 +0100 | haftmann | cleanup | file | diff | annotate |
| Wed, 11 Oct 2006 10:49:36 +0200 | haftmann | abandoned findrep | file | diff | annotate |
| Tue, 10 Oct 2006 13:59:13 +0200 | haftmann | gen_rem(s) abandoned in favour of remove / subtract | file | diff | annotate |
| Sat, 07 Oct 2006 01:31:10 +0200 | wenzelm | added the_single; | file | diff | annotate |
| Wed, 04 Oct 2006 14:17:38 +0200 | haftmann | insert replacing ins ins_int ins_string | file | diff | annotate |
| Tue, 12 Sep 2006 12:12:53 +0200 | wenzelm | tuned eq_list; | file | diff | annotate |
| Thu, 31 Aug 2006 10:17:19 +0200 | paulson | Empty is better than Match | file | diff | annotate |
| Tue, 08 Aug 2006 08:18:59 +0200 | haftmann | abandoned equal_list in favor for eq_list | file | diff | annotate |
| Mon, 17 Jul 2006 15:16:17 +0200 | webertj | butlast removed (use fst o split_last instead) | file | diff | annotate |
| Sat, 15 Jul 2006 18:17:47 +0200 | webertj | function butlast added | file | diff | annotate |
| Wed, 12 Jul 2006 17:00:32 +0200 | haftmann | added chop_prefix | file | diff | annotate |
| Tue, 11 Jul 2006 14:21:07 +0200 | wenzelm | replaced read_radixint by read_intinf; | file | diff | annotate |
| Tue, 04 Jul 2006 19:49:57 +0200 | wenzelm | removed parrot comment; | file | diff | annotate |
| Mon, 03 Jul 2006 16:25:10 +0200 | webertj | comment added | file | diff | annotate |
| 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 |