Re: Proposal: remove “.” from namefollower

Tom Hillman writes:

> That's great news: I'm a bit confused, though, because I thought I'd suggested this in the meeting!

What I understood you to be suggesting in the meeting was requiring a
newline after the full stop, rather than any whitespace character.  If I
misunderstood, my apologies.  I also believe I was thinking of a change
from "." to (".", lf) at the end of a rule, which would have required a
newline after the last rule; Steven's proposal avoids that requirement.

Michael

-- 
C. M. Sperberg-McQueen
Black Mesa Technologies LLC
http://blackmesatech.com

Received on Thursday, 17 March 2022 14:31:01 UTC