[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Side-effect of change to scan-code.l
From: |
Akim Demaille |
Subject: |
Re: Side-effect of change to scan-code.l |
Date: |
Wed, 5 Jan 2011 09:13:54 +0100 |
Le 4 janv. 2011 à 22:51, Paul Eggert a écrit :
> We can do this by using something like the following:
>
> letter [.abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ_]
> id -*(-|{letter}({letter}|[-0-9])*)
> ref -?[0-9]+|{id}|"["{id}"]"|"$"
>
> and then "id" would be treated consistently everywhere.
This is also my favorite option.