mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

On Thursday 14 February 2002 12:43, Adam Warner wrote:

> One way to work around this is to export a TeXmacs document to LaTeX and
> then use pdflatex to generate the PDF. This may result in conversion
> issues and I imagine it could be difficult when dealing with documents
> that contain graphics.

That proves THERE IS a way to export TeX fonts to Type 2 PostScript fonts. I 
have been told that recent releases of TeTeX featured much improved 
conversion utilities. Actually that is worth a closer look.

Conversion through LaTeX is a kludge, not only because LaTeX export filters 
are bad, and some TeXmacs constructs may be hard to translate to LaTeX, but 
also because TeXmacs is simply better at typesetting than LaTeX for some 
things.

> How are postscript files currently created by TeXmacs? Are bitmap or
> outline fonts generated? (perhaps ps2pdf is creating the bitmapped
> fonts).

Joris?

> PDF export is suprisingly not on the "Suggestions" page at texmacs.org.

There is actually a wishlist item about this point, titled "PostScript 
generation" at:

http://alqua.com/tmresources/wish%20list
-- 

                                  -- David --