mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Sat, 19 Jan 2002, David Allouche wrote:

> On Saturday 19 January 2002 15:52, Ralf Treinen wrote:
> > I received the following bug report. Who knows about using
> > non-iso8859-1 character encodings?
> 
> I think Joris and Andrey knows about it. But it seems to me that TeXmacs 
> approach to encoding it very atypical.
> 
> I think all iso8859-1 characters can be typed using the appropriate 
> keychords 
> and/or document language setting.
> 
> About Euro and Cent symbols, it looks like TeXmacs does not currently 
> support 
> them, but that should be easy to add. I think all the information is in 
> Debian's howto-euro (especially TeX font and character code of these 
> symbols).

In fact, I did my best adding these symbols before 2002 :^)
They are incorporated in the most recent version of TeXmacs (0.3.5.11)
as is easily seen by looking at the changelog. They are not directly
incorporated in the encoding, but rather special macros.
They might become "<...>" like symbols in the future.

Best regards, Joris