Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-15 05:40:07 -0700 (Wed, 15 Apr 1998)
Revision: 2124
Log message:

      Updating editor packages to Filter_summarys.
      

Changes	Path
Properties	metaprl/editor/ml
+43 -41	metaprl/editor/ml/package_graph.ml
+22 -20	metaprl/editor/ml/package_graph.mli
+85 -193	metaprl/editor/ml/package_info.ml
+5 -48	metaprl/editor/ml/package_info.mli
Deleted	metaprl/editor/ml/package_io.ml
Deleted	metaprl/editor/ml/package_io.mli
Added	metaprl/editor/ml/package_type.mlz
Properties	metaprl/editor/ml/package_type.mlz
+6 -3	metaprl/editor/ml/proof_edit.ml
Properties	metaprl/filter
+0 -2	metaprl/filter/Makefile
+14 -19	metaprl/filter/filter_bin.ml
+364 -419	metaprl/filter/filter_cache.ml
+47 -4	metaprl/filter/filter_cache.mli
+8 -0	metaprl/filter/filter_cache_fun.ml
Deleted	metaprl/filter/filter_cache_type.mlz
+18 -23	metaprl/filter/filter_parse.ml
+1166 -1288	metaprl/filter/filter_prog.ml
+16 -4	metaprl/filter/filter_prog.mli
+4 -0	metaprl/filter/filter_summary_type.mlz
+18 -1	metaprl/mllib/filename_util.ml
+5 -0	metaprl/mllib/filename_util.mli