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 |