Changes

#4 (Nov 4, 2020, 8:01:21 AM)

1. Fix two more minor white-space irregularities — Tidefelt Henrik / githubweb

#3 (Nov 4, 2020, 7:51:09 AM)

1. Partly fix white-space irregularities in lexer rules — Tidefelt Henrik / githubweb

#2 (Nov 4, 2020, 7:41:28 AM)

1. Fix more white-space irregularities — Tidefelt Henrik / githubweb