[racket] Redex typesetting

Can you point me to some examples, or where to look in the documentation?
I searched the documentation but I think is kind of messy

Thanks

2011/7/5 Robby Findler <robby at eecs.northwestern.edu>

> 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.
>
> Robby
>
> 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
> >
>



-- 
Ismael
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20110705/962085f2/attachment.html>