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

I'm trying to determine how different they look on my machine, but
unfortunately the two processes put the lines at different places on
the page. Do you have an easy way to control that?

Sam

On Fri, Jun 27, 2014 at 10:47 AM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> No, the lower-down aspect is actually something else. The "x" and the
> "y" in the sans serif font on that line and the big "f" on the line
> above are from picts. The other characters on those lines are directly
> written in the latex code. The grammar is also a pict. The picts look
> worse in one screen shot than the other (the one whose name has
> "8.01.25" is the uglier one). This effect is, I believe, one of the
> main things people mean when they say that Redex's typesetting is ugly
> (and it is indeed ugly in larger quantities).
>
> Robby
>
> On Fri, Jun 27, 2014 at 9:23 AM, Sam Tobin-Hochstadt
> <samth at cs.indiana.edu> wrote:
>> And the one with the second x in the bottom line lower down is the one
>> that's from --pdf and is not intended? Are there other differences
>> between the pictures?
>>
>> Sam
>>
>> On Fri, Jun 27, 2014 at 9:02 AM, Robby Findler
>> <robby at eecs.northwestern.edu> wrote:
>>> On Fri, Jun 27, 2014 at 7:59 AM, Sam Tobin-Hochstadt
>>> <samth at cs.indiana.edu> wrote:
>>>> Is the program in the commit message what I should try to see the difference?
>>>
>>> It looks different for me, yes. I'm attaching two screenshots for the
>>> difference I see between --pdf and --dvipdf.
>>>
>>> Robby