src/Pure/ML-Systems/mosml.ML
2008-05-28 wenzelm 2008-05-28 added Substring.full;
2008-05-14 wenzelm 2008-05-14 use_text/file: ignore str_of_pos argument;
2008-03-31 wenzelm 2008-03-31 before close: Exn.capture/release;
2008-03-28 wenzelm 2008-03-28 added forget_structure;
2008-03-06 wenzelm 2008-03-06 specific system_out (MosML lacks structure Posix); dummy implementation of Posix.ProcEnv.getpid;
2008-03-06 wenzelm 2008-03-06 common setup for system_out/system;
2008-02-16 wenzelm 2008-02-16 replaced ignore/raise_interrupt by more flexible (un)interruptible combinators;
2007-12-20 wenzelm 2007-12-20 added ML-Systems/universal.ML;
2007-10-01 wenzelm 2007-10-01 fixed use_text;
2007-09-24 wenzelm 2007-09-24 replaced interrupt_timeout by TimeLimit.timeLimit (available on SML/NJ and Poly/ML 5.1);
2007-09-16 wenzelm 2007-09-16 added ml_system_fix_ints;
2007-08-18 wenzelm 2007-08-18 ML system provides get_print_depth;
2007-08-15 wenzelm 2007-08-15 tuned comments;
2007-07-24 wenzelm 2007-07-24 ML-Systems/exn.ML, ML-Systems/multithreading_dummy.ML;
2007-07-23 wenzelm 2007-07-23 added compatibility file for ML systems without multithreading;
2007-07-17 wenzelm 2007-07-17 adapted TextIO.inputLine;
2007-07-17 wenzelm 2007-07-17 moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
2007-02-06 wenzelm 2007-02-06 pervasive exception Option; fixed use_file;
2007-01-21 wenzelm 2007-01-21 use_text: added name argument;
2006-12-11 wenzelm 2006-12-11 added use_file;
2006-11-10 wenzelm 2006-11-10 tuned names of start_timing,/end_timing/check_timer; removed obsolete ML compatibility fragments;
2006-11-10 wenzelm 2006-11-10 tuned comments;
2006-01-23 webertj 2006-01-23 TimeLimit replaced by interrupt_timeout
2005-12-12 haftmann 2005-12-12 added dummy 'print' to non-polyml systems
2005-10-11 wenzelm 2005-10-11 added string_of_pid;
2005-09-19 wenzelm 2005-09-19 added String.isSuffix;
2005-08-01 wenzelm 2005-08-01 tuned;
2005-07-04 wenzelm 2005-07-04 dummy exception_trace;
2005-07-01 wenzelm 2005-07-01 added profiler interface (dummy);
2005-06-21 wenzelm 2005-06-21 proper implementation of pointer_eq;
2005-06-20 wenzelm 2005-06-20 added pointer_eq;
2005-06-19 wenzelm 2005-06-19 improved comment;
2005-06-19 wenzelm 2005-06-19 some minor adaptions to make it work again;
2005-06-05 wenzelm 2005-06-05 removed file_info (now in Pure/General/file.ML);
2004-06-01 webertj 2004-06-01 TimeLimit structure added (no proper implementation yet)
2004-04-05 skalberg 2004-04-05 Added support for the newer versions of SML/NJ, which break several of the old interfaces.
2002-02-28 wenzelm 2002-02-28 renamed mask_interrupt to ignore_interrupt; renamed exhibit_interrupt to raise_interrupt;
2002-02-15 wenzelm 2002-02-15 removed unused unmask_interrupt;
2001-11-08 wenzelm 2001-11-08 removed needs_filtered_use;
2000-07-06 wenzelm 2000-07-06 Compatibility file for Moscow ML 2.00;