Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-14 13:38:50 -0700 (Wed, 14 Jul 2004)
Revision: 435
Log message:

      Actually, let's do quotations this way.
      Instead of $<<, a $" starts a quotation.
      The number of quotes is arbitrary.  So we get:
      
      X = A multi-line $"""
      string with "quotes
      " in it"""
      

Changes	Path
+20 -49	omake/src/env/omake_ast_lex.mll