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

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