The \space character class behaves inconsistently in windows version 5.01.1258488718 20091117 and linux version 5.02.1285696633 20100928.
On win-5.01 \space matches the \xA0 (non breaking space) character, while on lin-5.02 it does not.
Since we have a lot of scripts that were written and tested on windows, but often run on linux, could you provide a breakdown of \space's behavior in different texis versions so we would know what to expect and whether we need to revise some (many) of the scripts/modules.
To be more exact:
- do all windows versions (regardless of version number) treat \xA0 as \space?
- do all versions <= 5.01 (regardless of platform) treat \xA0 as \space?
- or is it a combination of the above rules?
Thanks,
Aleksandar
On win-5.01 \space matches the \xA0 (non breaking space) character, while on lin-5.02 it does not.
Since we have a lot of scripts that were written and tested on windows, but often run on linux, could you provide a breakdown of \space's behavior in different texis versions so we would know what to expect and whether we need to revise some (many) of the scripts/modules.
To be more exact:
- do all windows versions (regardless of version number) treat \xA0 as \space?
- do all versions <= 5.01 (regardless of platform) treat \xA0 as \space?
- or is it a combination of the above rules?
Thanks,
Aleksandar