src/Pure/ML-Systems/smlnj.ML
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.