mailing-list for TeXmacs Users

["Daniel Panazzolo" <address@hidden>]

Many thanks for your answer.

That seems a perfectly good solution for me for the moment.

I can convert my gif file by hand before including  it into the .tm file.

 Could you tell me which is the internal format used by texmacs and/or the
"convert" command that must be used?

Thanks in advance.

Daniel