From: David Van Horn (dvanhorn at ccs.neu.edu) Date: Wed Jan 11 22:32:16 EST 2012 |
|
On 1/11/12 7:43 PM, Matthew Flatt wrote: > 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. Awesome! Thank you. David
Posted on the users mailing list. |
|