Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-05-01 20:21:18 -0700 (Thu, 01 May 2003)
Revision: 4536
Log message:

      Add -rectypes option to prlc.
      

Changes	Path
+4 -3	metaprl/OMakefile
+1 -0	metaprl/filter/filter/OMakefile
+1 -0	metaprl/filter/filter/prlcomp.ml
+16 -2	metaprl/theories/experimental/mcc/fir/util/OMakefile