[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] Does gawk character classes follow this?
From: |
Eli Zaretskii |
Subject: |
Re: [bug-gawk] Does gawk character classes follow this? |
Date: |
Fri, 15 Feb 2019 12:38:23 +0200 |
> 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.
- [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 <=
- Re: [bug-gawk] Does gawk character classes follow this?, arnold, 2019/02/15
- 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