This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

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

From: Eli Zaretskii <eliz at gnu dot org>
To: Vladimir Prus <vladimir at codesourcery dot com>
Cc: gdb-patches at sources dot redhat dot com
Date: Fri, 25 Sep 2009 18:53:52 +0300
Subject: Re: [PATCH:doc] GDB/MI attribute names
References: <19131.17428.428101.481874@totara.tehura.co.nz> <19132.47302.194071.325914@totara.tehura.co.nz> <h9ieb9$6cn$1@ger.gmane.org> <83ocoztb7v.fsf@gnu.org> <h9igt0$egn$1@ger.gmane.org> <83ljk3t9e2.fsf@gnu.org> <h9ij8r$mvf$1@ger.gmane.org>
Reply-to: Eli Zaretskii <eliz at gnu dot org>

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

References:
- [PATCH:doc] GDB/MI attribute names
  - From: Nick Roberts
- Re: [PATCH:doc] GDB/MI attribute names
  - From: Nick Roberts
- Re: [PATCH:doc] GDB/MI attribute names
  - From: Vladimir Prus
- Re: [PATCH:doc] GDB/MI attribute names
  - From: Eli Zaretskii
- Re: [PATCH:doc] GDB/MI attribute names
  - From: Vladimir Prus
- Re: [PATCH:doc] GDB/MI attribute names
  - From: Eli Zaretskii
- Re: [PATCH:doc] GDB/MI attribute names
  - From: Vladimir Prus

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]