MODIFIED: ISO-Latin-1 symbol characters > 128 are now glueing symbols. These used to be solo.  After discussion on the mailinglist.  The status of number symbols and punctuation is still undecided.
MODIFIED: ISO-Latin-1 symbol characters > 128 are now glueing symbols.
These used to be solo.  After discussion on the mailinglist.  The status
of number symbols and punctuation is still undecided.

jn7163/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel