Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-11-24 22:18:41 -0800 (Wed, 24 Nov 2004)
Revision: 6291
Log message:

      Xstr_search was borrowed from somebody else's package and I am unsure
      what the license on that is. Turns out it wasn't used in any really
      meaningful way, so I got rid of it.
      

Changes	Path
+0 -1	metaprl/filter/phobos/Files
+35 -25	metaprl/filter/phobos/phobos_tokenizer.ml
Deleted	metaprl/filter/phobos/xstr_search.ml
Deleted	metaprl/filter/phobos/xstr_search.mli