<p dir="ltr"><br>
On Jun 30, 2014 3:34 PM, "Robby Findler" <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br>
><br>
> Thanks. When I look at the dvipdf-produced pdf in my pdf viewer, it<br>
> looks good, but the other one does not.<br>
><br>
> I see no difference in these screenshots or the pdf.js ones you sent,<br>
> tho. And when I view the pdfs in pdf.js via their demo features, I see<br>
> no difference.<br>
><br>
> What latex distribution are you using?</p>
<p dir="ltr">This is TeX Live, I think 2013 with some modifications that Debian/Ubuntu makes.</p>
<p dir="ltr">Sam</p>
<p dir="ltr">> Robby<br>
><br>
><br>
> On Mon, Jun 30, 2014 at 6:50 AM, Sam Tobin-Hochstadt<br>
> <<a href="mailto:samth@cs.indiana.edu">samth@cs.indiana.edu</a>> wrote:<br>
> > Attached are the two pdfs (x1 is --pdf, x is --dvipdf) and the two<br>
> > screenshots in Evince, my usual PDF viewer.<br>
> ><br>
> > Sam<br>
> ><br>
> > On Sat, Jun 28, 2014 at 9:03 PM, Robby Findler<br>
> > <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br>
> >> I'd like to see screenshots of the pdfs in whatever viewer you usually<br>
> >> use, if you don't mind. Also: what latex distribution are you using?<br>
> >><br>
> >> Robby<br>
> >><br>
> >> On Sat, Jun 28, 2014 at 12:16 PM, Sam Tobin-Hochstadt<br>
> >> <<a href="mailto:samth@cs.indiana.edu">samth@cs.indiana.edu</a>> wrote:<br>
> >>> Attached is a screenshot from the diffpdf tool. You can see that the<br>
> >>> font rendering is different in a few places.<br>
> >>><br>
> >>> You can also see that --dvipdf loses the rest of the document after<br>
> >>> the Redex pict -- I don't know what could cause that.<br>
> >>><br>
> >>> Basically the same things happen on my other linux machine.<br>
> >>><br>
> >>> Sam<br>
> >>><br>
> >>> On Fri, Jun 27, 2014 at 9:18 PM, Robby Findler<br>
> >>> <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br>
> >>>> PS: Sam, were you able to produce two pdfs (via scribble --dvipdf and<br>
> >>>> --pdf) and compare their output on your machine? Do you have<br>
> >>>> screenshots to share?<br>
> >>>><br>
> >>>> Robby<br>
</p>