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