[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Does gawk character classes follow this?
From: |
arnold |
Subject: |
Re: [bug-gawk] Does gawk character classes follow this? |
Date: |
Fri, 15 Feb 2019 03:44:46 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Eli Zaretskii <address@hidden> wrote:
> > From: address@hidden
> > Date: Fri, 15 Feb 2019 03:01:34 -0700
> > Cc: address@hidden, address@hidden
> >
> > I get the feeling that there's something really bothering you, but
> > I don't understand what.
> >
> > Can you clarify, please?
>
> I thought I already did: we cannot be expected to provide a definitive
> description of what the named classes stand for, because the answer
> depends on various factors out of our control.
Yes, that is a succinct summary. Thanks.
Arnold
- [bug-gawk] Does gawk character classes follow this?, Peng Yu, 2019/02/13
- Re: [bug-gawk] Does gawk character classes follow this?, arnold, 2019/02/14
- Re: [bug-gawk] Does gawk character classes follow this?, Peng Yu, 2019/02/14
- Re: [bug-gawk] Does gawk character classes follow this?, Eli Zaretskii, 2019/02/14
- Re: [bug-gawk] Does gawk character classes follow this?, arnold, 2019/02/15
- Re: [bug-gawk] Does gawk character classes follow this?, Eli Zaretskii, 2019/02/15
- Re: [bug-gawk] Does gawk character classes follow this?, arnold, 2019/02/15
- Re: [bug-gawk] Does gawk character classes follow this?, Eli Zaretskii, 2019/02/15
- Re: [bug-gawk] Does gawk character classes follow this?,
arnold <=
- Re: [bug-gawk] Does gawk character classes follow this?, Wolfgang Laun, 2019/02/15
- Re: [bug-gawk] Does gawk character classes follow this?, Eli Zaretskii, 2019/02/15
- Re: [bug-gawk] Does gawk character classes follow this?, arnold, 2019/02/17