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 |