src/Pure/ML-Systems/smlnj.ML
2007-07-17 wenzelm 2007-07-17 moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
2007-07-11 obua 2007-07-11 added dummy makestring function
2007-05-31 wenzelm 2007-05-31 TextIO.inputLine: use present SML B library version;
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-01-26 webertj 2006-01-26 interrupt_timeout now raises Interrupt instead of SML90.Interrupt
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-10-05 paulson 2005-10-05 more signals
2005-09-20 wenzelm 2005-09-20 use "ML-Systems/smlnj-basis-compat.ML" *after* Interrupt;
2005-09-20 wenzelm 2005-09-20 tuned;
2005-07-04 wenzelm 2005-07-04 dummy exception_trace;
2005-07-01 wenzelm 2005-07-01 added profiler interface (dummy);
2005-06-22 wenzelm 2005-06-22 tuned pointer_eq;
2005-06-22 paulson 2005-06-22 pointer equality for sml/nj
2005-06-20 wenzelm 2005-06-20 added pointer_eq;
2005-06-05 wenzelm 2005-06-05 removed file_info (now in Pure/General/file.ML);
2005-04-13 paulson 2005-04-13 new signalling primmitives for sml/nj compatibility
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-04-22 paulson 2004-04-22 changed SML/NJ v 45 to 44
2004-04-05 skalberg 2004-04-05 Whoops. Those default cases can be tricky.
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; fixed interrupt handling code (more correct use of continuation);
2002-02-11 wenzelm 2002-02-11 ML-Systems/smlnj-compiler.ML compatibility tweak;
2001-12-21 berghofe 2001-12-21 Redundant patterns no longer cause errors.
2001-11-08 wenzelm 2001-11-08 removed needs_filtered_use;
2001-01-16 wenzelm 2001-01-16 use_text etc.: proper output of error messages;
2000-12-22 paulson 2000-12-22 better definitions of SML90 features
1999-10-20 wenzelm 1999-10-20 use_text: remove last char from output;
1999-10-13 wenzelm 1999-10-13 system; use_text: pass print function;
1999-02-04 wenzelm 1999-02-04 fixed file_info;
1998-11-09 wenzelm 1998-11-09 smart interrupt handler;
1998-10-21 wenzelm 1998-10-21 dropped support for SML/NJ 109.x;
1998-06-29 wenzelm 1998-06-29 use_text: verbose flag;
1998-06-15 wenzelm 1998-06-15 use_text replaces use_strings;
1998-05-28 wenzelm 1998-05-28 added ml_prompts;
1997-12-17 wenzelm 1997-12-17 tuned comment;
1997-12-13 wenzelm 1997-12-13 tuned comment;
1997-12-12 wenzelm 1997-12-12 Compatibility file for Standard ML of New Jersey.