Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-30 22:31:32 -0800 (Sun, 30 Jan 2005)
Revision: 6534
Log message:

      I'm getting awfully tired to typing declare statements twice.
      
      Automatically include declare statements from the .mli in the .ml.
      

Changes  Path
+33 -4 metaprl-branches/opname_classes2/filter/base/filter_cache_fun.ml
+34 -33 metaprl-branches/opname_classes2/filter/filter/filter_parse.ml
+0 -53 mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.ml
+2 -2 mpcompiler-branches/opname_classes2/mmc/base/mmc_base_judgment.mli