Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-08-06 17:06:32 -0700 (Fri, 06 Aug 2004)
Revision: 6115
Log message:

      Improved warning message when a grammar has conflicts.  "There were errors" is
      not the most helpful message IMHO.
      
      Also augmented parser to accept sequents with anonymous hypotheses.  For
      example:    sequent{ foo{}; bar{}; x:baz{} >- nil{} }
      

Changes	Path
+9 -3	metaprl/filter/phobos/phobos_main.ml
+2 -0	metaprl/filter/phobos/phobos_parser.mly
+3 -0	metaprl/filter/phobos/phobos_report.ml