Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-10-06 08:10:39 -0700 (Sat, 06 Oct 2007)
Revision: 12294
Log message:

      merge 12138:12293 from svn://svn.metaprl.org/omake-branches/jumbo/var2 into var3

Changes  Path(relative to omake-branches/jumbo/var3)
Properties .
+3 -1 OMakefile
+17 -2 doc/html/omake_users.html
+10 -1 lib/build/OCaml.om
+1 -0 lib/configure/Configure.om
+0 -4 mk/defaults
+4 -0 src/clib/omake_shell_sys.c