src/Pure/library.ML
2007-08-03 ago named some CRITICAL sections;
2007-07-29 ago added list update;
2007-07-28 ago setmp: NAMED_CRITICAL;
2007-07-24 ago moved exception capture/release to structure Exn;
2007-07-23 ago eliminated transform_failure (to avoid critical section for main transactions);
2007-07-23 ago added setmp_noncritical;
2007-07-23 ago marked some CRITICAL sections (for multithreading);
2007-07-19 ago added undefined: 'a -> 'b;
2007-07-17 ago moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
2007-07-10 ago simplified funpow, untabify;
2007-06-19 ago moved balanced tree operations to General/balanced_tree.ML;
2007-06-05 ago moved generic algebra modules
2007-06-03 ago added flip (from General/basics.ML);
2007-06-02 ago added "plural : 'a -> 'a -> 'b list -> 'a" for convenient error msg construction
2007-04-04 ago find_first is just an alias
2007-04-04 ago removed obsolete scanwords (see obsolete tactic.ML:rename_tac for its only use);
2007-04-03 ago removed assert/deny (avoid clash with Alice keywords and confusion due to strict evaluation);
2007-02-28 ago gensym: removed bits of dead code;
2007-02-27 ago gensym no longer includes ' or _ in names (trailing _ is bad)
2007-02-07 ago Made untabify function tail recursive.
2007-01-21 ago Added lists-as-multisets functions
2006-12-30 ago removed conditional combinator;
2006-12-29 ago added signed_string_of_int (pruduces proper - instead of SML's ~);
2006-12-28 ago removed nospaces (Char.isSpace does not conform to Isabelle conventions);
2006-12-22 ago string primtives
2006-12-15 ago tuned -- accomodate Alice;
2006-11-28 ago simplified '?' operator;
2006-11-23 ago moved string_of_pair/list/option to structure ML_Syntax;
2006-11-16 ago moved some fundamental concepts to General/basics.ML;
2006-11-13 ago added higher-order combinators for structured results
2006-11-05 ago removed obsolete first_duplicate;
2006-10-31 ago cleanup
2006-10-11 ago abandoned findrep
2006-10-10 ago gen_rem(s) abandoned in favour of remove / subtract
2006-10-07 ago added the_single;
2006-10-04 ago insert replacing ins ins_int ins_string
2006-09-12 ago tuned eq_list;
2006-08-31 ago Empty is better than Match
2006-08-08 ago abandoned equal_list in favor for eq_list
2006-07-17 ago butlast removed (use fst o split_last instead)
2006-07-15 ago function butlast added
2006-07-12 ago added chop_prefix
2006-07-11 ago replaced read_radixint by read_intinf;
2006-07-04 ago removed parrot comment;
2006-07-03 ago comment added
2006-06-06 ago added zip_options;
2006-05-20 ago removed obsolete partition (cf. List.partition);
2006-05-16 ago added divide_and_conquer combinator (by Amine Chaieb);
2006-05-09 ago removed superfluous eq_ord
2006-05-08 ago string_of_option tuned
2006-05-05 ago string_of_... functions added
2006-05-02 ago sys_error: exception SYS_ERROR;
2006-04-30 ago added serial_string;
2006-04-27 ago renamed mapfilter to map_filter, made pervasive (again);
2006-04-26 ago removed splitAt (superceded by chop);
2006-04-25 ago made 'flat' pervasive (again);
2006-04-24 ago moved coalesce to AList, added equality predicates to library
2006-04-13 ago export unflat (again);
2006-04-09 ago added coalesce;
2006-03-21 ago added subtract;