Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-04-08 11:00:30 -0700 (Thu, 08 Apr 1999)
Revision: 2641
Log message:

      When a new rule/axiom/rewrite_info is created the resource filed
      is set to [] only if there are actually no resource updates
      associated with this item.
      
      However it is still possible that resource field is ignored or discarded
      in some places.
      

Changes	Path
+16 -9	metaprl/editor/ml/shell_rewrite.ml
+16 -9	metaprl/editor/ml/shell_rule.ml
+62 -81	metaprl/filter/filter_summary.ml