[MLton] htmldoc pdf MLton guide

Matthew Fluet fluet@cs.cornell.edu
Tue, 15 Nov 2005 17:24:28 -0500 (EST)

> * I tweaked the header and footer a bit.
> * I eliminated some redundant HTML title stuff at the beginning of
>   each page, since the same information appears in the header.

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.

But, that's a very minor point.

> All in all I think the output looks great, and should definitely go in
> the release.

Yes, I definitly think it should go in.  But, the plan is also to ship 
with the doc/guide HTML, right?