Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-04-07 20:40:01 -0700 (Wed, 07 Apr 1999)
Revision: 2639
Log message:

      Added *_resources components to rewrite_info, axiom_info,
      cond_rewrite_info and rule_info filter_summary types.
      
      So far we are not doing anything smart with those fields - in most
      cases they are set to [] and ignored, but the parser already puts
      the (supposedly) correct information in there.
      
      From what I can tell, we are still able to read old .prlb files after these
      changes.
      

Changes  Path
+6 -3 metaprl/editor/ml/shell_rewrite.ml
+2 -2 metaprl/editor/ml/shell_rewrite.mli
+6 -3 metaprl/editor/ml/shell_rule.ml
+2 -2 metaprl/editor/ml/shell_rule.mli
+36 -32 metaprl/filter/filter_parse.ml
+8 -8 metaprl/filter/filter_prog.ml
+8 -8 metaprl/filter/filter_prog.mli
+107 -41 metaprl/filter/filter_summary.ml
+4 -4 metaprl/filter/filter_summary.mli
+17 -13 metaprl/filter/filter_type.mlz
+4 -0 metaprl/refiner/refsig/term_op_sig.ml
+25 -4 metaprl/refiner/term_ds/term_op_ds.ml
+25 -0 metaprl/refiner/term_std/term_op_std.ml