- From: Norm Tovey-Walsh <norm@saxonica.com>
- Date: Wed, 29 Nov 2023 10:57:45 +0000
- To: public-ixml@w3.org
Received on Wednesday, 29 November 2023 10:59:32 UTC
"C. M. Sperberg-McQueen" <cmsmcq@blackmesatech.com> writes: > and replace them with: > > @name: namestart, namefollower*, ('.', namefollower*)*. Did you mean this: @name: namestart, namefollower*, ('.', namefollower+)*. or am I confused? > -namestart: ["_"; L]. > -namefollower: namestart; ["-·‿⁀"; Nd; Mn]. > > or alternatively: > > @name: namestart, (namefollower ** '.'). > -namestart: ["_"; L]. > -namefollower: namestart; ["-·‿⁀"; Nd; Mn]. The second alternative seems equivalent and simpler, to my eyes. Be seeing you, norm -- Norm Tovey-Walsh Saxonica
Received on Wednesday, 29 November 2023 10:59:32 UTC