Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-04-28 10:36:31 -0700 (Mon, 28 Apr 2008)
Revision: 12889
Log message:

      Automated merge of 12873:12888 from svn://svn.metaprl.org/omake-branches/jumbo/var3 into auto

Changes  Path(relative to omake-branches/jumbo/auto)
Properties .
+28 -1 src/builtin/omake_builtin_base.ml