[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.