Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-10 17:32:40 -0700 (Fri, 10 Oct 2003)
Revision: 4964
Log message:

      Added compile-time checking of definitions (bug 72).
      

Changes	Path
+1 -0	metaprl/filter/filter/filter_parse.ml
+11 -2	metaprl/refiner/refiner/refine.ml
+6 -1	metaprl/refiner/refsig/refine_sig.ml