src/Pure/ML-Systems/polyml.ML
2013-01-16 wenzelm 2013-01-16 more explicit treatment of (optional) exception properties, notably for "serial" -- avoid conflict with startPosition = offset;
2013-01-16 wenzelm 2013-01-16 tuned comments;
2013-01-16 wenzelm 2013-01-16 tuned signature;
2012-07-21 wenzelm 2012-07-21 more ML_System operations;
2012-05-24 wenzelm 2012-05-24 simplified Poly/ML setup -- 5.3.0 is now the common base-line;
2011-08-17 wenzelm 2011-08-17 identify parallel exceptions where they emerge first -- to achieve unique results within evaluation graph;
2011-07-23 wenzelm 2011-07-23 explicit structure ML_System; tunned ML bootstrap;
2010-09-22 wenzelm 2010-09-22 renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-08-17 wenzelm 2010-08-17 discontinued support for Poly/ML 5.0 and 5.1 versions;
2010-04-16 wenzelm 2010-04-16 added ML antiquotation @{make_string}, which produces proper pretty printed version in Poly/ML 5.3.0 or later;
2009-11-09 wenzelm 2009-11-09 merged
2009-11-09 wenzelm 2009-11-09 setup for official Poly/ML 5.3.0, which is now the default;
2009-09-30 wenzelm 2009-09-30 more uniform treatment of structure Unsynchronized in ML bootstrap phase;
2009-07-30 wenzelm 2009-07-30 recovered polyml-5.2 -- need to reload ML-Systems/multithreading.ML after overriding Thread structures;
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-11-15 wenzelm 2008-11-15 multithreading support for polyml-5.2 actually disabled -- as advertized;
2008-10-23 wenzelm 2008-10-23 multithreading support only for polyml-5.2.1 or later;
2008-09-17 wenzelm 2008-09-17 use_text/use_file now depend on explicit ML name space;
2008-09-16 wenzelm 2008-09-16 tuned comments;
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-04 wenzelm 2008-09-04 multithreading.ML provides dummy thread structures;
2008-05-14 wenzelm 2008-05-14 use_text/file: proper position output;
2008-05-13 wenzelm 2008-05-13 adapted PolyML.compiler to latest change of basis/FinalPolyML.sml (2008-04-21);
2008-04-10 wenzelm 2008-04-10 use_text: explicitly print exception, which is no longer done by the new PolyML.compiler setup;
2008-03-31 wenzelm 2008-03-31 before close: Exn.capture/release;
2008-03-25 wenzelm 2008-03-25 moved multithreaded "profile" to multithreading_polyml.ML;
2008-03-24 wenzelm 2008-03-24 ML runtime compilation: pass position, tuned signature;
2008-03-24 wenzelm 2008-03-24 updated use_text/file for 5.2;
2008-03-06 wenzelm 2008-03-06 rearrangements to make latest Poly/ML the default, not old 4.x;
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-20 wenzelm 2007-10-20 discontinued support for 4.1.1, 4.1.2; maintain PolyML.Compiler.printInAlphabeticalOrder;
2007-10-13 wenzelm 2007-10-13 PolyML.Compiler.maxInlineSize := 80;
2007-10-04 wenzelm 2007-10-04 tuned;
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; use_text/file: tune text (cf. ML_Parse.fix_ints);
2007-08-18 wenzelm 2007-08-18 ML system provides get_print_depth;
2007-08-16 wenzelm 2007-08-16 removed signal setup from root function to on-entry hook;
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 moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice);
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-12-08 wenzelm 2006-12-08 tuned use_text; eval command line: skip over -q option;
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 no special treatment for cygwin (this is supposed to be actual cygwin, not win32 polyml within cygwin);
2006-01-27 webertj 2006-01-27 interrupt_timeout for Poly replaced by stub
2006-01-23 webertj 2006-01-23 TimeLimit replaced by interrupt_timeout
2005-12-23 wenzelm 2005-12-23 backpatching of Substring.full;
2005-10-11 wenzelm 2005-10-11 added string_of_pid;
2005-08-16 wenzelm 2005-08-16 added String.isSuffix;