Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-23 20:09:37 -0700 (Mon, 23 May 2005)
Revision: 7324
Log message:

      - Bumping the OMakeVersion number (I've waited at least 20 minutes trying to
        figure out why MetaPRL was failing to build for me!)
      
      - Fixing the <:con< >> grammar a bit (in <:con< foo{bar{...}} >> it used to
        think that "bar" was a bound variable and insisted on having a "." or a ","
        after it.
      
      - Removing the unused "SLASH" variable.
      

Changes	Path
+1 -9	metaprl/OMakefile
+24 -7	metaprl/filter/filter/term_grammar.ml