[racket-dev] [plt] Push #28945: master branch updated

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
<samth at 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
> <robby at 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
>> <samth at 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
>>> <robby at 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