src/Tools/Code/code_runtime.ML
2010-11-08 haftmann 2010-11-08 constructors to datatypes in code_reflect can be globbed; dropped unused code
2010-11-03 haftmann 2010-11-03 polyml_as_definition does not require explicit dependencies on external ML files
2010-10-29 haftmann 2010-10-29 actually pass "verbose" argument
2010-10-28 wenzelm 2010-10-28 use Exn.interruptible_capture to keep user-code interruptible (Exn.capture not immediately followed by Exn.release here);
2010-10-26 haftmann 2010-10-26 Code_Runtime.trace
2010-10-01 haftmann 2010-10-01 merged
2010-10-01 haftmann 2010-10-01 avoid antiquotation processing for code_reflect; moved ML_Context.value to Code_Runtime
2010-10-01 wenzelm 2010-10-01 made SML/NJ happy;
2010-10-01 haftmann 2010-10-01 added polyml_as_definition -- using external SML files as substitute for proper definitions -- only for polyml!
2010-09-21 haftmann 2010-09-21 reject term variables explicitly
2010-09-20 haftmann 2010-09-20 made smlnj happy
2010-09-17 haftmann 2010-09-17 closures preserve static serializer context for static evaluation; tuned
2010-09-17 haftmann 2010-09-17 made sml/nj happy
2010-09-16 haftmann 2010-09-16 dynamic and static value computation; built-in evaluation of propositions
2010-09-15 haftmann 2010-09-15 proper interface for code_reflect
2010-09-15 haftmann 2010-09-15 Code_Runtime.value, corresponding to ML_Context.value; tuned
2010-09-15 haftmann 2010-09-15 code_eval renamed to code_runtime