src/Tools/Code/code_runtime.ML
Wed, 15 Sep 2010 15:40:36 +0200 haftmann Code_Runtime.value, corresponding to ML_Context.value; tuned
Wed, 15 Sep 2010 15:31:32 +0200 haftmann code_eval renamed to code_runtime
less more (0) tip