Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-04-06 12:50:03 -0700 (Tue, 06 Apr 1999)
Revision: 2636
Log message:

      Removed Resource{Int,String} type.
      

Changes  Path
+1 -11 metaprl/filter/filter_parse.ml
+4 -11 metaprl/filter/filter_type.mlz