src/Pure/ML-Systems/polyml.ML
2015-12-17 wenzelm 2015-12-17 support pretty break indent, like underlying ML systems;
2015-12-06 wenzelm 2015-12-06 discontinued intermediate polyml-5.5.3, assuming the coming release will be polyml-5.6;
2015-11-20 wenzelm 2015-11-20 speculative support for polyml-5.6, according to git commit 3527f4ba7b8b;
2015-08-20 wenzelm 2015-08-20 clarified modules;
2015-08-18 wenzelm 2015-08-18 proper platform path for intial PolyML.SaveState.loadState; tuned signature;
2015-08-18 wenzelm 2015-08-18 tuned signature;
2015-08-18 wenzelm 2015-08-18 keep native CInterface to make SHA1 work properly;
2015-08-17 wenzelm 2015-08-17 basic setup for native Windows (RAW session without image);
2015-08-17 wenzelm 2015-08-17 explicit debug flag for ML compiler;
2015-08-17 wenzelm 2015-08-17 abstract exn_id based on getExnId in polyml/basis/FinalPolyML.sml (NB: the mutable machine word cannot be inspected in ML, e.g. toplevel pp dumps core);
2015-08-16 wenzelm 2015-08-16 clarified initial ML name space (amending 7aad4be8a48e);
2015-08-12 wenzelm 2015-08-12 clarified modules;
2015-08-11 wenzelm 2015-08-11 print values for stack entry;
2015-07-17 wenzelm 2015-07-17 clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default; tuned;
2015-07-16 wenzelm 2015-07-16 additional ML parse tree components for Poly/ML 5.5.3, or later; support for ML completion; tuned;
2015-07-16 wenzelm 2015-07-16 ML debugger interface;
2015-01-29 wenzelm 2015-01-29 tuned bootstrap;
2015-01-29 wenzelm 2015-01-29 explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64;
2014-12-10 wenzelm 2014-12-10 more careful handling of auxiliary environment structure -- allow nested ML evaluation;
2014-11-26 wenzelm 2014-11-26 more informative failure of protocol commands, with exception trace; eliminated obsolete Runtime.TERMINATE (left-over from former 'exit' command);
2014-07-31 wenzelm 2014-07-31 prefer dynamic ML_print_depth if context happens to be available;
2014-07-31 wenzelm 2014-07-31 clarified compile-time use of ML_print_depth;
2014-04-19 wenzelm 2014-04-19 obsolete since polyml-5.5.0;
2014-04-06 wenzelm 2014-04-06 approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;
2014-03-27 wenzelm 2014-03-27 clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
2014-03-26 wenzelm 2014-03-26 tuned;
2014-03-25 wenzelm 2014-03-25 more warnings for recent versions of Poly/ML (see also fe1f6a1707f7);
2014-03-25 wenzelm 2014-03-25 proper configuration option "ML_print_depth"; proper ML_exception_trace for HOL-TPTP;
2014-03-25 wenzelm 2014-03-25 added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
2013-12-12 wenzelm 2013-12-12 simplified polyml-5.5.2 setup -- implicit upgrade of Thread.numProcessors;
2013-12-11 wenzelm 2013-12-11 tuned patterns;
2013-12-11 wenzelm 2013-12-11 support for polml-5.5.2; support Thread.numPhysicalProcessors of polyml-5.5.2 (according to SVN 1890); clarified max_threads: store plain value internally, reproduce result only on startup, and thus avoid potential system overhead;
2013-10-16 wenzelm 2013-10-16 avoid non-portable int constant -- make SML/NJ happy;
2013-09-18 wenzelm 2013-09-18 improved printing of exception trace in Poly/ML 5.5.1;
2013-08-01 wenzelm 2013-08-01 optional static analysis for Poly/ML 5.5.x;
2013-07-19 wenzelm 2013-07-19 old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
2013-04-08 wenzelm 2013-04-08 more defensive representation of forced break within PolyML.PrettyBreak -- avoid accidental blowup if low-level operations are used, notably PolyML.makestring or its variant General.exnMessage;
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;