Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-06-25 11:42:45 -0700 (Mon, 25 Jun 2007)
Revision: 11113
Log message:
svn merge -r 11109:11111 ../0.9.8.x
with some hand editing.
| Changes | Path |
| +17 -25 | omake-branches/0.9.8.4/src/env/omake_env.ml |
| +0 -6 | omake-branches/0.9.8.4/src/env/omake_env.mli |
| +2 -3 | omake-branches/0.9.8.4/src/shell/omake_shell_job.ml |