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

      Forgot these files.  I don't know why, but .cvsignore no longer works for me.
      

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