Re: Whitespace in various specs

On Wed, 30 Mar 2016 12:54:06 +0200, Steven Pemberton  
<steven.pemberton@cwi.nl> wrote:

> HTML5
> The White_Space characters are those that have the Unicode property  
> "White_Space" in the Unicode PropList.txt data file. [UNICODE]
>
> https://www.w3.org/TR/html5/infrastructure.html#space-separated-tokens
> https://www.w3.org/TR/html5/infrastructure.html#space-character

It turns out that HTML5 defines this term, and then never uses it.

Steven

Received on Wednesday, 30 March 2016 15:50:28 UTC