[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
http://mlton.org/pages/TemporaryUpload/attachments/mlton-guide.pdf
> But, the plan is also to ship with the doc/guide HTML, right?
Yes.