mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Dear Peter,

On Wed, Dec 29, 2010 at 10:26:41PM +0100, Peter Rapčan wrote:
> How do I  produce a cork-encoded file? Never heard of such encoding and I 
> guess none of the editors I am using supports it... Even opening the file 
> inside texmacs displays codes instead of some symbols.

Andrey Grozin wrote a "dictool" in Python for editing TeXmacs dictionaries:

       http://www.texmacs.org/tmweb/contribute/translations.en.html

I am puzzled why it is no longer possible to correctly edit the file inside 
TeXmacs.
I will check when I will have time...

Best, --Joris