Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-22 23:45:27 -0800 (Wed, 22 Jan 2003)
Revision: 4009
Log message:

      Removed some outdated code:
      - support for parsing <:con< >> quotations (for ml_* things) that
      I don't even remember being ever used.
      - filter_html - not sure if it was ever used, but it is not currently
      being compiled and looks very ourdated, removing for now.
      
      Jason, please confirm that removing these is reasonable.
      

Changes  Path
Deleted metaprl/filter/base/filter_html.ml
Deleted metaprl/filter/base/filter_html.mli
+5 -36 metaprl/filter/base/filter_prog.ml
+0 -1 metaprl/filter/base/filter_prog.mli
+4 -19 metaprl/filter/base/filter_summary.ml
+0 -2 metaprl/filter/base/filter_type.ml
+1 -38 metaprl/filter/filter/filter_parse.ml