src/Pure/library.ML
1998-05-25 ago added foldl_map: ('a * 'b -> 'a * 'c) -> 'a * 'b list -> 'a * 'c list;
1998-05-19 ago fixed handle_error: cat_lines;
1998-05-13 ago added transform_error, exception ERROR_MESSAGE;
1998-05-13 ago get_first: ('a -> 'b option) -> 'a list -> 'b option;
1998-05-04 ago added nth_update: 'a -> int * 'a list -> 'a list;
1998-04-29 ago tuned error msgs;
1998-04-04 ago type_error;
1998-03-10 ago New simplifier flag for mutual simplification.
1998-03-09 ago added merge_alists;
1998-02-18 ago tuned comment;
1998-02-13 ago added append (curried);
1998-02-12 ago added explicit signature;
1998-02-12 ago improved is_letter etc.;
1997-12-29 ago removed distinct_fst_string;
1997-12-24 ago improved comment;
1997-12-19 ago added rev_order, make_ord;
1997-12-04 ago added eq_set;
1997-12-02 ago added prod_ord, dict_ord, list_ord;
1997-11-28 ago New timing functions startTiming and endTiming
1997-11-26 ago removed merge_opts;
1997-11-20 ago added type object = exn;
1997-11-20 ago added get_error: 'a error -> string option, get_ok: 'a error -> 'a option;
1997-11-13 ago made SML/NJ happy;
1997-11-12 ago major cleanup;
1997-11-10 ago polished definition of find_index_eq
1997-11-07 ago changed libraray function find to find_index_eq, currying it
1997-11-06 ago tuned;
1997-11-05 ago fixed exception OPTION;
1997-11-03 ago added distinct_fst_string;
1997-11-01 ago Faster lexing
1997-10-30 ago added merge_opts: ('a * 'a -> 'a) -> 'a option * 'a option -> 'a option;
1997-10-23 ago added sort_wrt;
1997-10-15 ago tuned comment;
1997-10-10 ago fixed space_explode, old one retained as BAD_space_explode;
1997-10-01 ago added split_last;
1997-09-23 ago added handle_error: ('a -> 'b) -> 'a -> 'b error;
1997-08-08 ago added append_file;
1997-08-06 ago added read_file, write_file;
1997-08-06 ago Added function "file_exists".
1997-07-22 ago added error_msg;
1997-07-18 ago improved output channels: normal, warning, error;
1997-06-05 ago Removal of radixstring from string_of_int; addition of string_of_indexname
1997-06-03 ago is_blank: fixed space2;
1997-05-30 ago flushOut ensures that no recent error message are lost (not certain this is
1997-05-20 ago Declares Option_ as synonym for structure Option
1997-04-29 ago is_blank: added space2 (160);
1997-04-17 ago renamed set_ap to setmp;
1997-04-16 ago improved inc, dec;
1997-03-18 ago gensym no longer generates random identifiers, but just enumerates them
1997-01-17 ago added gen_overwrite;
1997-01-13 ago added datatype order;
1997-01-06 ago added stamp util;
1996-12-16 ago fixed comment;
1996-12-05 ago added pwd;
1996-12-03 ago Random number generated "downgraded" to generate numbers below 2^29 - 1,
1996-11-28 ago Declares List_ as a synonym for List
1996-11-27 ago Eta-expanded some declarations that are illegal under value polymorphism
1996-11-18 ago added is_printable: string -> bool;
1996-11-13 ago Removal of polymorphic equality via mem, subset, eq_set, etc
1996-11-12 ago Updated syntax; shortened comments; put in monomorphic versions of ins