[MLton-user] Second try at PDF version of guide

Matthew Fluet fluet@cs.cornell.edu
Mon, 14 Nov 2005 18:14:45 -0500 (EST)

>> Bugs:
>>  * The "A | B | C | D | ..." on the Index page links instead to the
>>    same named anchors in the References page! (Anchor name collision?)
>> Bug #2 above worries me the most, since it means we could have
>> collisions in the future between pages in the Wiki. It also means that
>> we need to rename the #A #B #C #D ... anchors in References to something
>> else (like #Aref #Bref, etc) to work around this bug. (I've held off on
>> this for now.) But even with this bug, I think we can ship the PDF along
>> with the release (if there's still time).
> Changing the names of the anchors on the References page should be quite 
> easy.

I've made this change.