src/Pure/ML-Systems/polyml-5.0.ML
2009-09-30 wenzelm 2009-09-30 more uniform treatment of structure Unsynchronized in ML bootstrap phase;
2009-06-04 wenzelm 2009-06-04 reraise exceptions to preserve original position (ML system specific);
2009-05-31 wenzelm 2009-05-31 renamed polyml_pp.ML to pp_polyml.ML; explicit PolyML.install_pp;
2009-05-31 wenzelm 2009-05-31 more modular setup of runtime compilation;
2009-03-23 wenzelm 2009-03-23 more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context;
2009-03-21 wenzelm 2009-03-21 added polyml_pp.ML: toplevel pretty printing for Poly/ML 4.x and 5.x before 5.3;
2009-01-27 wenzelm 2009-01-27 added share_common_data -- reduces heap space, but takes long;
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-09-07 wenzelm 2008-09-07 explicit use of universal.ML and dummy_thread.ML;
2008-03-24 wenzelm 2008-03-24 moved use_text/file to polyml_old_compiler5.ML;
2008-03-06 wenzelm 2008-03-06 rearrangements to make latest Poly/ML the default, not old 4.x;
2007-09-16 wenzelm 2007-09-16 use_file: added ``tune'' argument;
2007-09-16 wenzelm 2007-09-16 use_text/file: tune text (cf. ML_Parse.fix_ints);
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-29 wenzelm 2006-12-29 use_ml: reverted to simple output (Poly/ML changed);
2006-12-14 wenzelm 2006-12-14 activated improved use_ml, which captures output and reports source positions; define use_file in terms of use_ml;
2006-12-11 wenzelm 2006-12-11 added improved versions of use_text/file (still inactive);
2006-12-05 wenzelm 2006-12-05 setup for polyml-5.0;