mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sat, 20 Sep 2003, Ralf Treinen wrote:
> 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.

I applied Ralf's patch for the next version and even the sz works for me.

<Joris>