From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-67208-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 21938 invoked by alias); 25 Sep 2009 15:54:16 -0000
Received: (qmail 21928 invoked by uid 22791); 25 Sep 2009 15:54:15 -0000
X-SWARE-Spam-Status: No, hits=-1.4 required=5.0 	tests=AWL,BAYES_00,SPF_SOFTFAIL
X-Spam-Check-By: sourceware.org
Received: from mtaout6.012.net.il (HELO mtaout6.012.net.il) (84.95.2.16)     by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 25 Sep 2009 15:54:10 +0000
Received: from conversion-daemon.i-mtaout6.012.net.il by i-mtaout6.012.net.il (HyperSendmail v2007.08) id <0KQJ00600AB3AR00@i-mtaout6.012.net.il> for gdb-patches@sources.redhat.com; Fri, 25 Sep 2009 18:53:54 +0300 (IDT)
Received: from HOME-C4E4A596F7 ([87.70.48.81]) by i-mtaout6.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0KQJ00JA8ATPHM90@i-mtaout6.012.net.il>; Fri, 25 Sep 2009 18:53:50 +0300 (IDT)
Date: Fri, 25 Sep 2009 15:54:00 -0000
From: Eli Zaretskii <eliz@gnu.org>
Subject: Re: [PATCH:doc] GDB/MI attribute names
In-reply-to: <h9ij8r$mvf$1@ger.gmane.org>
To: Vladimir Prus <vladimir@codesourcery.com>
Cc: gdb-patches@sources.redhat.com
Reply-to: Eli Zaretskii <eliz@gnu.org>
Message-id: <83iqf7t3zj.fsf@gnu.org>
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>
X-IsSubscribed: yes
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
X-SW-Source: 2009-09/txt/msg00803.txt.bz2

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