mailing-list for TeXmacs Users

[Ralf Treinen <address@hidden>]

On Sat, Sep 20, 2003 at 12:07:10PM +0200, Norbert Nemec wrote:

> I wonder: what character encoding is used in .tm files? German umlauts have 
> the same binary codes as in latin1 (aka ISO-8859-1) but the German sharp s 
> (ß in html-encoding) is represented by 0xFF which does not correspond 
> to any character encoding I know of.

According to Joris it is Cork encoding. The only difference to
latin1 seems indeed to be the encoding of the sharp s.

-Ralf.
--