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 |