[PATCH:doc] GDB/MI attribute names

Eli Zaretskii eliz@gnu.org
Fri Sep 25 15:54:00 GMT 2009


> From:  Vladimir Prus <vladimir@codesourcery.com>
> Date:  Fri, 25 Sep 2009 18:14:55 +0400
> 
> > Can you suggest an alternative that doesn't use terminology which
> > could be unknown to the reader?
> 
> I have already suggested:
> 
>         string ==> 
>         """ ( letter | digit | "_" ) * """

Fine with me.  Thanks.



More information about the Gdb-patches mailing list