Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-11-04 08:09:53 -0800 (Sun, 04 Nov 2007)
Revision: 12532
Log message:
merge 12515:12531 from svn://svn.metaprl.org/omake-branches/jumbo/var2 into var3
| Changes | Path(relative to omake-branches/jumbo/var3) |
| 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 |