Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-17 13:48:40 -0700 (Fri, 17 Apr 1998)
Revision: 2143
Log message:

      Updating refiner for extraction.
      

Changes	Path
Properties	metaprl/editor/ml
+3 -1	metaprl/editor/ml/Makefile
Added	metaprl/editor/ml/package_df.ml
Properties	metaprl/editor/ml/package_df.ml
Added	metaprl/editor/ml/package_df.mli
Properties	metaprl/editor/ml/package_df.mli
+37 -12	metaprl/editor/ml/shell.mli
Added	metaprl/editor/ml/shell_rewrite.ml
Properties	metaprl/editor/ml/shell_rewrite.ml
Added	metaprl/editor/ml/shell_rewrite.mli
Properties	metaprl/editor/ml/shell_rewrite.mli
Added	metaprl/editor/ml/shell_type.mlz
Properties	metaprl/editor/ml/shell_type.mlz
+4 -1	metaprl/filter/filter_prog.ml
+26 -0	metaprl/filter/filter_prog.mli
+92 -59	metaprl/filter/filter_summary.ml
+59 -0	metaprl/filter/filter_summary.mli
+4 -1	metaprl/filter/filter_summary_type.mlz
+18 -1	metaprl/mllib/list_util.ml
+4 -0	metaprl/mllib/list_util.mli
+15 -2	metaprl/refiner/refine.ml
+26 -1	metaprl/refiner/refine_sig.ml