[racket] redex model rendered too narrow

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Mar 4 16:58:56 EST 2013

Can you post a specific (hopefully not too big) example? (There are lots of
modes and things for typesetting these, so it's hard to answer that


On Mon, Mar 4, 2013 at 3:07 PM, Jon Rafkind <rafkind at cs.utah.edu> wrote:

> The pdf rendering of my redex model does not seem to take `where' clauses
> into account when computing the width of the pict. In a few rules this
> results in the where clause being cut off. Any idea what to do about it?
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130304/4f6505ba/attachment.html>

Posted on the users mailing list.