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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Jul 1 20:17:37 EDT 2014

Yeah, I'm realizing that my understanding of those of the complaints
was wrong. My next step when I get back to this is to try to get a
reasonably automatic setup for Redex that mimics that
\usepackage{pslatex} setting in latex (which is, I think what sigplan


On Tue, Jul 1, 2014 at 2:31 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> On Jun 27, 2014, at 4:47 PM, Robby Findler wrote:
>> 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).
> [[ Just now catching up ]]
> This is off topic in a sense but right on topic wrt the above quote.
> When people dislike Redex in scribble or latex document, they are
> saying that they chose some fonts (perhaps defaults) and that Redex
> fragments look different than their context because Redex chose a
> different font. Most latex users don't know much about fonts and
> certainly don't know how to adjust Redex so it uses their latex
> fonts.
> [[ I did some font loading and messing around in my TeX days and
> young LaTeX days and I am honestly glad I forgot those details. I
> am not looking forward to creating the .tex styles for 2e. ]]

Posted on the dev mailing list.