mailing-list for TeXmacs Users

[Bas Spitters <address@hidden>]

Dear users,

I am trying to make texmacs output a pdf-file.
On the Wiki, I found that this is a known wish.

I would like to have a work-around using Type1 encoding, in LaTeX I would use 
\usepackage[OT1]{fontenc} is it possible to do a similar thing in texmacs?
If so, ps export combined and then ps2pdf would give the required result.

Bas