| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Jan 11 19:43:47 EST 2012 |
|
At Wed, 11 Jan 2012 15:09:50 -0700, Matthew Flatt wrote: > I think it might be easier and better for > the renders to collude so that the Latex renderer can use the HTML > renderer's cross-reference files. That worked, and I've pushed the change.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}