On Tue, Jan 21, 2003 at 03:14:20PM -0500, Leo wrote:
> I am trying to generate a PDF file out of a TeXmacs document
> by the following chain:
>
> TeXmacs -> PostScript -> PDF
>
> I use ghostscript (ps2pdf) for the last conversion.
>
> The resulting PDF file looks really ugly on a screen!!
>
> Well, Adobe acrobat reader does a lousy job of rendering bitmap fonts
> and TeXmacs uses bitmap fonts exclusively. Even native PostScript
> fonts like Times and Helvetica are first converted into bitmaps and
> are later included as bitmap fonts (!) in the .ps output.
That is well known problem. Related discussion can be found on the
[1]Wiki and on the [2]mailing list archives. There is also an
(unusued) [3]task on Savannah for this feature.