Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-12-08 14:32:37 -0800 (Mon, 08 Dec 2003)
Revision: 5172
Log message:

      Added version checking.
      Removed the unneeded dependency in refiner/rewrite/OMakefile.
      You will need to upgrade your omake to get the version right.
      

Changes	Path
Properties	metaprl
+65 -29	metaprl/OMakefile
+0 -5	metaprl/refiner/rewrite/OMakefile