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