src/Pure/ML-Systems/polyml-5.1.ML
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-11-18 wenzelm 2008-11-18 disabled threads -- as advertized;
2008-09-16 wenzelm 2008-09-16 multithreading for Poly/ML 5.1 is no longer supported;
2008-09-07 wenzelm 2008-09-07 *** MESSAGE REFERS TO PREVIOUS VERSION *** removed dummy thread structures from multithreading.ML;
2008-09-07 wenzelm 2008-09-07 *** empty log message ***
2008-09-05 wenzelm 2008-09-05 multithreading.ML provides dummy thread structures;
2008-03-25 wenzelm 2008-03-25 moved multithreaded "profile" to multithreading_polyml.ML;
2008-03-25 wenzelm 2008-03-25 use polyml_old_compiler5.ML;
2008-03-24 wenzelm 2008-03-24 Compatibility wrapper for Poly/ML 5.1.
2007-10-04 wenzelm 2007-10-04 single-threaded profiling;
2007-09-16 wenzelm 2007-09-16 use_text/file: tune text (cf. ML_Parse.fix_ints);
2007-09-15 haftmann 2007-09-15 fixed title
2007-07-24 wenzelm 2007-07-24 moved exception capture/release to structure Exn; moved multithreading to multithreading_polyml.ML;
2007-07-23 wenzelm 2007-07-23 added proper implementation of self_critical, CRITICAL;
2007-07-23 wenzelm 2007-07-23 added compatibility wrapper for polyml-5.1;