mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

Hi Ralf,

On Sat, Feb 08, 2014 at 10:08:55AM -0800, Ralf Juengling wrote:
> You can reproduce the problem with the attached file.
> The pdf TeXmacs 1.0.7.19 creates from it (also attached) uses three fonts.
> The last one ("Helvetica") is not embedded in the pdf.

Please try with the latest version of TeXmacs; we have been working a lot on 
Pdf generation.
Both Max' native converter and the old converter (enabled from the 
preferences)
might produce better results.

Best wishes, --Joris

> On Wed, Feb 5, 2014 at 8:57 AM, François Poulain <address@hidden>wrote:
> > Hi Ralf,
> > Le Wed, 5 Feb 2014 08:39:42 -0800 (PST),
> > Ralf Juengling <address@hidden> a écrit :
> >
> > > I used TeXmacs 1.0.7.19 to produce a PDF which does not include
> > > all the fonts.
> >
> > Could you please send a TeXmacs document which disclose this bug?
> >
> > François