src/Pure/library.ML
1998-05-19 wenzelm 1998-05-19 fixed handle_error: cat_lines;
1998-05-13 wenzelm 1998-05-13 added transform_error, exception ERROR_MESSAGE;
1998-05-13 wenzelm 1998-05-13 get_first: ('a -> 'b option) -> 'a list -> 'b option;
1998-05-04 wenzelm 1998-05-04 added nth_update: 'a -> int * 'a list -> 'a list;
1998-04-29 wenzelm 1998-04-29 tuned error msgs;
1998-04-04 wenzelm 1998-04-04 type_error;
1998-03-10 nipkow 1998-03-10 New simplifier flag for mutual simplification.
1998-03-09 wenzelm 1998-03-09 added merge_alists; moced is_letter etc. to Syntax/symbol.ML;
1998-02-18 wenzelm 1998-02-18 tuned comment;
1998-02-13 wenzelm 1998-02-13 added append (curried);
1998-02-12 wenzelm 1998-02-12 added explicit signature; improved comments;
1998-02-12 wenzelm 1998-02-12 improved is_letter etc.;
1997-12-29 wenzelm 1997-12-29 removed distinct_fst_string;
1997-12-24 wenzelm 1997-12-24 improved comment;
1997-12-19 wenzelm 1997-12-19 added rev_order, make_ord; reimplemented sort function: stable version of quicksort;
1997-12-04 wenzelm 1997-12-04 added eq_set;
1997-12-02 wenzelm 1997-12-02 added prod_ord, dict_ord, list_ord;
1997-11-28 paulson 1997-11-28 New timing functions startTiming and endTiming
1997-11-26 wenzelm 1997-11-26 removed merge_opts;
1997-11-20 wenzelm 1997-11-20 added type object = exn;
1997-11-20 wenzelm 1997-11-20 added get_error: 'a error -> string option, get_ok: 'a error -> 'a option; added multiply: 'a list * 'a list list -> 'a list list;
1997-11-13 wenzelm 1997-11-13 made SML/NJ happy;
1997-11-12 wenzelm 1997-11-12 major cleanup; removed several obsolete functions; moved file stuff to Thy/file.ML;
1997-11-10 oheimb 1997-11-10 polished definition of find_index_eq
1997-11-07 oheimb 1997-11-07 changed libraray function find to find_index_eq, currying it
1997-11-06 wenzelm 1997-11-06 tuned;
1997-11-05 wenzelm 1997-11-05 fixed exception OPTION; added try, can;
1997-11-03 wenzelm 1997-11-03 added distinct_fst_string;
1997-11-01 paulson 1997-11-01 Faster lexing
1997-10-30 wenzelm 1997-10-30 added merge_opts: ('a * 'a -> 'a) -> 'a option * 'a option -> 'a option;
1997-10-23 wenzelm 1997-10-23 added sort_wrt;
1997-10-15 wenzelm 1997-10-15 tuned comment;
1997-10-10 wenzelm 1997-10-10 fixed space_explode, old one retained as BAD_space_explode; added split_lines;
1997-10-01 wenzelm 1997-10-01 added split_last;
1997-09-23 wenzelm 1997-09-23 added handle_error: ('a -> 'b) -> 'a -> 'b error;
1997-08-08 wenzelm 1997-08-08 added append_file;
1997-08-06 wenzelm 1997-08-06 added read_file, write_file;
1997-08-06 berghofe 1997-08-06 Added function "file_exists".
1997-07-22 wenzelm 1997-07-22 added error_msg;
1997-07-18 wenzelm 1997-07-18 improved output channels: normal, warning, error;
1997-06-05 paulson 1997-06-05 Removal of radixstring from string_of_int; addition of string_of_indexname
1997-06-03 wenzelm 1997-06-03 is_blank: fixed space2;
1997-05-30 paulson 1997-05-30 flushOut ensures that no recent error message are lost (not certain this is necessary)
1997-05-20 paulson 1997-05-20 Declares Option_ as synonym for structure Option
1997-04-29 wenzelm 1997-04-29 is_blank: added space2 (160);
1997-04-17 wenzelm 1997-04-17 renamed set_ap to setmp;
1997-04-16 wenzelm 1997-04-16 improved inc, dec; added set_ap;
1997-03-18 paulson 1997-03-18 gensym no longer generates random identifiers, but just enumerates them starting from A. The random number generator was needlessly slow and caused portability problems.
1997-01-17 wenzelm 1997-01-17 added gen_overwrite;
1997-01-13 wenzelm 1997-01-13 added datatype order;
1997-01-06 wenzelm 1997-01-06 added stamp util;
1996-12-16 wenzelm 1996-12-16 fixed comment;
1996-12-05 wenzelm 1996-12-05 added pwd;
1996-12-03 paulson 1996-12-03 Random number generated "downgraded" to generate numbers below 2^29 - 1, for MLWorks compatibility
1996-11-28 paulson 1996-11-28 Declares List_ as a synonym for List
1996-11-27 paulson 1996-11-27 Eta-expanded some declarations that are illegal under value polymorphism Converted I/O operatios for Basis Library compatibility
1996-11-18 wenzelm 1996-11-18 added is_printable: string -> bool;
1996-11-13 paulson 1996-11-13 Removal of polymorphic equality via mem, subset, eq_set, etc
1996-11-12 paulson 1996-11-12 Updated syntax; shortened comments; put in monomorphic versions of ins
1996-11-04 paulson 1996-11-04 Removal of now unused sum, max, min. Use foldl op+, Int.max, Int.min