Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-08-06 11:33:10 -0700 (Mon, 06 Aug 2007)
Revision: 11629
Log message:

      Automated merge of 11608:11628 from svn://svn.metaprl.org/omake-branches/jumbo/int into dll

Changes  Path(relative to omake-branches/jumbo/dll)
Properties .
+8 -5 lib/build/OCaml.om