<div dir="ltr">Hi, <div><br></div><div>I want to dump the reduction relations to a ps or pdf file using render-reduction-relation, but it is not as pretty as what&#39;s dumped in REPL, *especially*, texts are out of pdf margins (tags are unseenable, etc.)</div>
<div><br></div><div> Is there anyway to print out relations as what is in the REPL? </div><div>or ways to adjust the width of texts in the output file?</div><div><br></div><div>Thanks,<br clear="all"><div><br></div>-- <br>
<div dir="ltr">Monica</div>
</div></div>