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 |