Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-10-06 08:23:03 -0700 (Sat, 06 Oct 2007)
Revision: 12297
Log message:
Automated merge of 12276:12296 from svn://svn.metaprl.org/omake-branches/jumbo/var3 into int
| Changes | Path(relative to omake-branches/jumbo/int) |
| 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 |