Re: [PATCH:doc] GDB/MI attribute names

Eli Zaretskii
2009-09-25T15:54:16Z

> 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.