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

Reply via email to