Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-02 07:02:24 -0700 (Sat, 02 Jul 2005)
Revision: 7538
Log message:

      Update to match the recent changes to omake.
      

Changes	Path
+3 -2	metaprl/OMakefile
+1 -1	metaprl/editor/ml/OMakefile
+0 -1	metaprl/theories/itt/OMakefile