Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-31 20:14:30 -0700 (Thu, 31 Jul 2003)
Revision: 130
Log message:

      Remote execution server.
      

Changes	Path
Added	omake-branches/piped_exec_policy/src/exec/omake_exec_remote.ml
Properties	omake-branches/piped_exec_policy/src/exec/omake_exec_remote.ml
Added	omake-branches/piped_exec_policy/src/exec/omake_exec_remote.mli
Properties	omake-branches/piped_exec_policy/src/exec/omake_exec_remote.mli