2009-06-01 wenzelm [Mon, 01 Jun 2009 23:28:07 +0200] rev 31334
structure ML_Compiler;
src/Pure/ML/ml_context.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 23:28:06 +0200] rev 31333
added structure ML_Compiler: runtime compilation, with advanced version for Poly/ML 5.3 (formerly ML_Test);
src/Pure/IsaMakefile src/Pure/ML/ml_compiler.ML src/Pure/ML/ml_compiler_polyml-5.3.ML src/Pure/ML/ml_test.ML src/Pure/ROOT.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 23:28:05 +0200] rev 31332
added flatten;
src/Pure/ML/ml_lex.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 23:28:04 +0200] rev 31331
tuned signature;
src/Pure/ML/ml_env.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 23:28:04 +0200] rev 31330
export secure_mltext;
src/Pure/General/secure.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 23:28:02 +0200] rev 31329
tuned comments;
src/Pure/ML-Systems/compiler_polyml-5.0.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 16:12:42 +0200] rev 31328
maintain tokens within common ML environment;
src/Pure/ML/ml_env.ML src/Pure/ML/ml_test.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 15:26:00 +0200] rev 31327
ML_Env;
src/Pure/Isar/isar_syn.ML src/Pure/ML/ml_test.ML src/Tools/Compute_Oracle/am_compiler.ML src/Tools/Compute_Oracle/am_sml.ML src/Tools/code/code_ml.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 15:26:00 +0200] rev 31326
slightly later setup of ML and secure operations;
src/Pure/General/ROOT.ML src/Pure/ROOT.ML

2009-06-01 wenzelm [Mon, 01 Jun 2009 15:26:00 +0200] rev 31325
moved local ML environment to separate module ML_Env;
src/Pure/IsaMakefile src/Pure/ML/ml_context.ML src/Pure/ML/ml_env.ML