| From: Jon Rafkind (rafkind at cs.utah.edu) Date: Mon Mar 4 16:07:17 EST 2013 |
|
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?
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}