[racket] Redex typesetting

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Jul 5 08:15:48 EDT 2011

There are a number of things you can do; you can scale it, or you can
render a subset of the rules, or you can change the indenting of the
source to make the resulting rendered thing more compact. Generally
you do have to do a little fiddling to get something big to fit well.


On Tue, Jul 5, 2011 at 7:14 PM, Ismael Figueroa Palet
<ifigueroap at gmail.com> wrote:
> Hi all,
> I'm using redex typesetting for the first time, I call
>> (render-reduction-relation rules "rules.eps" #:style 'horizontal)
> but it only renders a postscript of one page that doesn't contain all the
> rules, and it doesn't fit well in the page.
> any ideas why this happens or how to customize it?
> Thanks
> --
> Ismael
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users

Posted on the users mailing list.