Digest #23 2017-10-27

Contributions

[35] 2017-10-26 16:45:24 AntonErtl wrote:

comment - Space delimiters and white space

For the meaning of space delimiters, see 3.4.1.1 and 11.3.5. The same meaning is intended for "white space".