Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-04-03 22:15:11 -0800 (Sat, 03 Apr 1999)
Revision: 2628
Log message:

      Added parsing of resource annotations. Used {| ... |} delimiters
      

Changes	Path
+27 -5	metaprl/filter/filter_parse.ml
+7 -0	metaprl/filter/filter_type.mlz