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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Jun 30 22:35:38 EDT 2014

I see that too, in an ubuntu vm. Thanks.

Robby


On Mon, Jun 30, 2014 at 10:28 AM, Sam Tobin-Hochstadt
<samth at cs.indiana.edu> wrote:
>
> On Jun 30, 2014 3:34 PM, "Robby Findler" <robby at eecs.northwestern.edu>
> wrote:
>>
>> 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?
>
> This is TeX Live, I think 2013 with some modifications that Debian/Ubuntu
> makes.
>
> Sam
>
>> 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

Posted on the dev mailing list.