Re: [Texmacs-dev] string encoding

[Felix Breuer]

> What we should start with is building dictionaries between the current
> TeXmacs encoding and unicode and Html. Would you be willing to help on this?

I had a look at the dictool. How can I build an encoding dictionary,
i.e. how to enter character codes? Should I escape them using \ as in
"\032"? Which file format is best for this: .dic, .scm?

Am I right in assuming that the dictionary should map texmacs encoding
-> unicode and we then encode the unicode characters of the form
0x******** to utf-8 sequences by means of some c-function? Does the \
escape sequence work for values > 0xff ?

Felix