Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-11-04 08:18:05 -0800 (Sun, 04 Nov 2007)
Revision: 12537
Log message:

      Automated merge of 12522:12536 from svn://svn.metaprl.org/omake-branches/jumbo/const into all-features

Changes  Path(relative to omake-branches/jumbo/all-features)
Properties .
+1 -1 src/env/omake_command_digest.ml
+3 -3 src/eval/omake_eval.ml
+1 -1 src/ir/omake_value_print.ml
+1 -1 src/ir/omake_value_type.ml