| 2006-02-03 |
wenzelm |
2006-02-03 |
removed obsolete gen_ins/mem;
added merge -- supercedes gen_merge_lists';
|
file | diff | annotate |
| 2006-01-19 |
wenzelm |
2006-01-19 |
tuned setmp;
|
file | diff | annotate |
| 2006-01-14 |
wenzelm |
2006-01-14 |
added exception ERROR, error, cat_error, sys_error, assert, deny, assert_all;
added transform_failure;
added prefix;
|
file | diff | annotate |
| 2006-01-03 |
haftmann |
2006-01-03 |
rearranged burrow_split to fold_burrow to allow composition with fold_map
|
file | diff | annotate |
| 2005-12-27 |
haftmann |
2005-12-27 |
added map_index
|
file | diff | annotate |
| 2005-12-22 |
wenzelm |
2005-12-22 |
tuned;
|
file | diff | annotate |
| 2005-12-21 |
haftmann |
2005-12-21 |
added eq_ord
|
file | diff | annotate |
| 2005-12-21 |
haftmann |
2005-12-21 |
discontinued unflat in favour of burrow and burrow_split
|
file | diff | annotate |
| 2005-12-20 |
haftmann |
2005-12-20 |
removed infix prefix, introduces burrow
|
file | diff | annotate |
| 2005-12-17 |
wenzelm |
2005-12-17 |
added sort_distinct;
removed obsolete unique_strings;
|
file | diff | annotate |
| 2005-12-08 |
wenzelm |
2005-12-08 |
tuned;
|
file | diff | annotate |
| 2005-12-06 |
haftmann |
2005-12-06 |
added 'dig' combinator
|
file | diff | annotate |
| 2005-12-02 |
haftmann |
2005-12-02 |
added perhaps option combinator
|
file | diff | annotate |
| 2005-12-02 |
haftmann |
2005-12-02 |
introduced new map2, fold
|
file | diff | annotate |
| 2005-11-29 |
wenzelm |
2005-11-29 |
added nth_list;
|
file | diff | annotate |
| 2005-11-28 |
haftmann |
2005-11-28 |
added (curried) fold2
|
file | diff | annotate |
| 2005-11-10 |
wenzelm |
2005-11-10 |
curried multiply;
|
file | diff | annotate |
| 2005-10-31 |
haftmann |
2005-10-31 |
fold_index replacing foldln
|
file | diff | annotate |
| 2005-10-28 |
haftmann |
2005-10-28 |
cleaned up nth, nth_update, nth_map and nth_string functions
|
file | diff | annotate |
| 2005-10-21 |
haftmann |
2005-10-21 |
abandoned rational number functions in favor of General/rat.ML
|
file | diff | annotate |
| 2005-10-11 |
wenzelm |
2005-10-11 |
moved string_of_pid to ML-Systems;
|
file | diff | annotate |
| 2005-10-10 |
paulson |
2005-10-10 |
small tidy-up of utility functions
|
file | diff | annotate |
| 2005-10-04 |
wenzelm |
2005-10-04 |
minor tweaks for Poplog/ML;
|
file | diff | annotate |
| 2005-09-21 |
wenzelm |
2005-09-21 |
tuned;
|
file | diff | annotate |
| 2005-09-21 |
haftmann |
2005-09-21 |
removed assoc, overwrite
|
file | diff | annotate |
| 2005-09-20 |
haftmann |
2005-09-20 |
improved eq_fst and eq_snd, removed some deprecated stuff
|
file | diff | annotate |
| 2005-09-19 |
haftmann |
2005-09-19 |
removed some deprecated assocation list functions
|
file | diff | annotate |
| 2005-09-13 |
wenzelm |
2005-09-13 |
added exception EXCEPTION of exn * string;
|
file | diff | annotate |
| 2005-09-08 |
haftmann |
2005-09-08 |
added the_list, the_default
|
file | diff | annotate |
| 2005-09-05 |
haftmann |
2005-09-05 |
introduced binding priority 1 for linear combinators etc.
|
file | diff | annotate |
| 2005-08-28 |
haftmann |
2005-08-28 |
added 'these', removed assoc2
|
file | diff | annotate |
| 2005-08-25 |
haftmann |
2005-08-25 |
added ? combinator for conditional transformations
|
file | diff | annotate |
| 2005-08-18 |
wenzelm |
2005-08-18 |
added tap;
|
file | diff | annotate |
| 2005-08-16 |
wenzelm |
2005-08-16 |
tuned unsuffix/unprefix;
|
file | diff | annotate |
| 2005-08-08 |
nipkow |
2005-08-08 |
fixed typo in ratadd
|
file | diff | annotate |
| 2005-08-07 |
nipkow |
2005-08-07 |
added more rat functions
|
file | diff | annotate |
| 2005-08-01 |
wenzelm |
2005-08-01 |
tuned dict_ord;
|
file | diff | annotate |
| 2005-07-19 |
wenzelm |
2005-07-19 |
added has_duplicates;
tuned qsort;
|
file | diff | annotate |
| 2005-07-18 |
haftmann |
2005-07-18 |
reverted from fold_yield to fold_map
|
file | diff | annotate |
| 2005-07-14 |
wenzelm |
2005-07-14 |
tuned;
|
file | diff | annotate |
| 2005-07-14 |
haftmann |
2005-07-14 |
added ` combinator
|
file | diff | annotate |
| 2005-07-12 |
haftmann |
2005-07-12 |
fold_map -> fold_yield, added transformator combinators, added selector combinator
|
file | diff | annotate |
| 2005-07-06 |
wenzelm |
2005-07-06 |
tuned;
|
file | diff | annotate |
| 2005-07-06 |
wenzelm |
2005-07-06 |
tuned;
|
file | diff | annotate |
| 2005-07-05 |
wenzelm |
2005-07-05 |
tuned K;
|
file | diff | annotate |
| 2005-07-05 |
haftmann |
2005-07-05 |
added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->'
|
file | diff | annotate |
| 2005-07-05 |
haftmann |
2005-07-05 |
added ST combinator '|->'
|
file | diff | annotate |
| 2005-07-04 |
wenzelm |
2005-07-04 |
added fast_string_ord;
|
file | diff | annotate |
| 2005-07-01 |
wenzelm |
2005-07-01 |
low-level tuning of fold, fold_rev, foldl_map;
|
file | diff | annotate |
| 2005-06-22 |
wenzelm |
2005-06-22 |
added structure Object (from Pure/General/object.ML);
|
file | diff | annotate |
| 2005-06-20 |
wenzelm |
2005-06-20 |
added member, option_ord;
|
file | diff | annotate |
| 2005-06-17 |
wenzelm |
2005-06-17 |
added serial numbers;
|
file | diff | annotate |
| 2005-06-02 |
wenzelm |
2005-06-02 |
replaced foldl_string by fold_string;
added forall_string;
improved unsuffix/unprefix: no explode;
|
file | diff | annotate |
| 2005-05-31 |
wenzelm |
2005-05-31 |
export filter;
remove: generalized type;
|
file | diff | annotate |
| 2005-05-17 |
wenzelm |
2005-05-17 |
removed rev_append;
tuned presentation of datatype option: removed apsome, export the and if_none;
|
file | diff | annotate |
| 2005-05-16 |
paulson |
2005-05-16 |
Use of IntInf.int instead of int in most numeric simprocs; avoids
integer overflow in SML/NJ
|
file | diff | annotate |
| 2005-04-17 |
wenzelm |
2005-04-17 |
clarified insert/remove;
tuned canonical fold/fold_rev;
|
file | diff | annotate |
| 2005-04-16 |
wenzelm |
2005-04-16 |
added gen_remove, remove;
usual arrangement BasicLibrary: BASIC_LIBRARY and Library: LIBRARY;
|
file | diff | annotate |
| 2005-04-11 |
ballarin |
2005-04-11 |
First release of interpretation commands.
|
file | diff | annotate |
| 2005-04-07 |
wenzelm |
2005-04-07 |
invalidated former constructors None/OPTION to prevent accidental use as match-all patterns!
|
file | diff | annotate |