Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-05-28 15:10:02 -0700 (Thu, 28 May 1998)
Revision: 2193
Log message:

      Updated Makefiles.
      

Changes	Path
+73 -10	metaprl/refiner/Makefile
+13 -8	metaprl/refiner/refbase/Makefile
+15 -12	metaprl/refiner/refiner/Makefile
+17 -25	metaprl/refiner/reflib/Makefile
Deleted	metaprl/refiner/reflib/resource.ml
Deleted	metaprl/refiner/reflib/resource.mli
Added	metaprl/refiner/reflib/resource.mlz
Properties	metaprl/refiner/reflib/resource.mlz
+16 -19	metaprl/refiner/refsig/Makefile
+16 -15	metaprl/refiner/term_ds/Makefile
+16 -16	metaprl/refiner/term_std/Makefile