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.

Reply via email to