src/Pure/ML-Systems/polyml_common.ML
2009-09-29 wenzelm 2009-09-29 Raw ML references as unsynchronized state variables.
2009-06-17 wenzelm 2009-06-17 more detailed start_timing/end_timing (in timing.ML); removed obsolete check_timer;
2009-06-01 wenzelm 2009-06-01 removed print function from global ML name space, to reduce risk of surprises;
2009-05-31 wenzelm 2009-05-31 no longer open PolyML -- to avoid surprises within the global name space; recovered some important PolyML bindings (NB: print and makestring cannot be rebound without loosing infinite overloading);
2009-05-31 wenzelm 2009-05-31 discontinued support for Poly/ML 4.x versions;
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 replaced install_pp/make_pp by more general toplevel_pp based on use_text;
2009-03-21 wenzelm 2009-03-21 added generic ML_Pretty interface;
2009-03-01 wenzelm 2009-03-01 end_timing: generalized result -- message plus with explicit time values;
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-10-09 wenzelm 2008-10-09 extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML;
2008-10-03 wenzelm 2008-10-03 removed obsolete Posix/Signal compatibility wrappers; plain process_id function;
2008-10-01 wenzelm 2008-10-01 more robust treatment of Interrupt (cf. exn.ML);
2008-09-29 wenzelm 2008-09-29 added type pp, which helps installing polymorphic pretty printers;
2008-09-17 wenzelm 2008-09-17 use_text/use_file now depend on explicit ML name space;
2008-09-07 wenzelm 2008-09-07 explicit use of universal.ML and dummy_thread.ML;
2008-03-28 wenzelm 2008-03-28 added forget_structure;
2008-03-24 wenzelm 2008-03-24 removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1); moved use_text/file to polyml_old_compiler4.ML; PolyML.onEntry: no longer evaluate command line;
2008-03-06 wenzelm 2008-03-06 common setup for system_out/system;
2008-03-06 wenzelm 2008-03-06 rearrangements to make latest Poly/ML the default, not old 4.x;