Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-20 20:07:46 -0800 (Mon, 20 Feb 2006)
Revision: 8749
Log message:

      Squash the .ml dependencies
         %.cmo: %.ppo :squash: %.ml
      
      This is conditional on omake 0.9.6.8.1
      

Changes  Path
+21 -4 metaprl/OMakefile_theories