src/Pure/ML/ml_env.ML
2016-03-26 wenzelm 2016-03-26 explicit print_depth for the sake of Spec_Check.determine_type;
2016-03-17 wenzelm 2016-03-17 tuned signature;
2016-03-01 wenzelm 2016-03-01 tuned signature;
2016-03-01 wenzelm 2016-03-01 clarified modules;
2016-03-01 wenzelm 2016-03-01 load secure.ML earlier; eliminated obsolete ml_parse.ML; tuned signature;
2016-02-17 wenzelm 2016-02-17 SML/NJ is no longer supported;
2015-08-06 wenzelm 2015-08-06 evaluate ML expressions within debugger context; redirected writeln/warning for ML compiler;
2015-07-17 wenzelm 2015-07-17 store breakpoints within ML environment;
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 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-04-19 wenzelm 2014-04-19 added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
2014-03-25 wenzelm 2014-03-25 added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
2014-03-18 wenzelm 2014-03-18 clarified bootstrap process: switch to ML with context and antiquotations earlier;
2012-08-29 wenzelm 2012-08-29 renamed Position.str_of to Position.here;
2010-04-16 wenzelm 2010-04-16 proper masking of dummy name_space;
2010-04-16 wenzelm 2010-04-16 proper checking of ML functors (in Poly/ML 5.2 or later); eliminated pathetic comments;
2009-11-08 wenzelm 2009-11-08 adapted Generic_Data, Proof_Data; tuned;
2009-06-06 wenzelm 2009-06-06 tuned comments;
2009-06-04 wenzelm 2009-06-04 eliminated costly registration of tokens;
2009-06-01 wenzelm 2009-06-01 tuned signature;
2009-06-01 wenzelm 2009-06-01 maintain tokens within common ML environment;
2009-06-01 wenzelm 2009-06-01 moved local ML environment to separate module ML_Env;