Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-15 15:29:02 -0700 (Wed, 15 Apr 1998)
Revision: 2129
Log message:

      Converting packages from summaries.
      

Changes  Path
+3 -3 metaprl/editor/ml/Makefile
+176 -25 metaprl/editor/ml/package_info.ml
+23 -10 metaprl/editor/ml/package_type.mlz
Deleted metaprl/editor/ml/package_util.ml
Deleted metaprl/editor/ml/package_util.mli
+11 -1 metaprl/filter/filter_cache_fun.ml
+20 -0 metaprl/filter/filter_summary.ml
+5 -0 metaprl/filter/filter_summary.mli
+5 -0 metaprl/filter/filter_summary_type.mlz