Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-03-12 16:36:45 -0800 (Sun, 12 Mar 2006)
Revision: 8875
Log message:

      Added yet another string tokenizer.  This one allows the use of
      a lexer to lex special symbols in the string.