src/Pure/ML/ml_test.ML
2009-06-01 wenzelm 2009-06-01 maintain tokens within common ML environment;
2009-06-01 wenzelm 2009-06-01 ML_Env;
2009-05-31 wenzelm 2009-05-31 explicit PolyML qualification;
2009-05-25 wenzelm 2009-05-25 adapted to Poly/ML SVN 744;
2009-05-23 wenzelm 2009-05-23 adapted to Poly/ML SVN 719; removed obsolete add_prefix;
2009-03-27 wenzelm 2009-03-27 export position_of;
2009-03-24 wenzelm 2009-03-24 report ML typing;
2009-03-24 wenzelm 2009-03-24 get_index: produce index of next pending token, not the last one;
2009-03-24 wenzelm 2009-03-24 register token positions persistently with context; report some aspects of parse trees; removed obsolete CPPrintInAlphabeticalOrder; tuned;
2009-03-24 wenzelm 2009-03-24 error "Static Errors";
2009-03-24 wenzelm 2009-03-24 more systematic type use_context; result_fun: actually apply result, only one version of eval; removed obsolete 'ML_parse';
2009-03-23 wenzelm 2009-03-23 eliminated Output.ml_output;
2009-03-23 wenzelm 2009-03-23 maintain parse trees cumulatively;
2009-03-22 wenzelm 2009-03-22 proper signature; eval: added do_run flag, store result parsetree if disabled; added 'ML_parse' command;
2009-03-22 wenzelm 2009-03-22 ML_Lex.read_antiq; eval: observe verbose flag; command 'ML_test': proper keyword classification, inherit_env;
2009-03-22 wenzelm 2009-03-22 Test of advanced ML compiler invocation in Poly/ML 5.3.