Re: non-ascii markup? [was: NAME as ID ]

Gavin Nicol (
Wed, 2 Aug 95 23:13:23 EDT

>In any case, it may be desirable to extend the concrete syntax charset
>to include additional SEPCHAR and FUNCHAR characters from 10646.

It might be nice to also unify the spaces, and handle the
zankaku/hankaku problem here as well. For example, is someone writes
using zenkaku, should that be legal or illegal?