[MLton] htmldoc pdf MLton guide

Stephen Weeks MLton@mlton.org
Tue, 15 Nov 2005 15:44:19 -0800

> One thing that I notice, is that there isn't any space between the
>   Home Index
> links in the header and first line of text.  In the HTML, it isn't as 
> glaring, as the links are in a smaller font off to the right.

I removed the "Home Index" links entirely.  I tried putting them over
to the right, but it looked silly and created too much vertical
space.  Things look quite clean without them.

I've uploaded a new mlton-guide.pdf to


> But, the plan is also to ship with the doc/guide HTML, right?