Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-08-28 16:59:07 -0700 (Thu, 28 Aug 2003)
Revision: 4894
Log message:

      The ext: quotation uses the default grammar file 'syntax.pho'.
      

Changes  Path
+2 -2 metaprl/filter/phobos/phobos_state.ml
Deleted metaprl/theories/experimental/compile/m_ast.pho
Added metaprl/theories/experimental/compile/syntax.pho
Properties metaprl/theories/experimental/compile/syntax.pho