<html> <head> <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"> </head> <body text="#000000" bgcolor="#FFFFFF"> <div class="moz-cite-prefix">Attached is a zip. Run 'test.rkt' and it will produce a test.png file. I tried to make it show up in a frame% but couldn't figure out how to do it other than using a button%, but there is commented code in test.rkt to do that.<br> <br> In the model note that 'stack' is cut off.<br> <br> On 03/04/2013 02:58 PM, Robby Findler wrote:<br> </div> <blockquote cite="mid:CAL3TdOMeipRp4G_JrYkSkSePRt_dSNjfSd9bH3w7Evbu_qsj1w@mail.gmail.com" type="cite"> <div dir="ltr">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 abstractly.) <div><br> </div> <div>Robby</div> </div> <div class="gmail_extra"> <br> <br> <div class="gmail_quote">On Mon, Mar 4, 2013 at 3:07 PM, Jon Rafkind <span dir="ltr"><<a moz-do-not-send="true" href="mailto:rafkind@cs.utah.edu" target="_blank">rafkind@cs.utah.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> 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?<br> ____________________<br> Racket Users list:<br> <a moz-do-not-send="true" href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> </blockquote> </div> <br> </div> </blockquote> <br> </body> </html>