[MLton] website

Matthew Fluet fluet@cs.cornell.edu
Fri, 12 Nov 2004 09:32:28 -0500 (EST)


> > Also, it would be nice to have some way of tracking down dead links,
> > particularly things pointing into CVS or binaries.  For example, the
> > formal specification of MLBs link on
> >   http://mlton.org/MLBasis
> > gets interpreted as a wiki link.
>
> I fixed this by adding mlb-formal.pdf as an attachment to MLBasis.  It
> would be nice to move the formal stuff into the wiki at some point.

I don't think so.  We've already established that LaTeX->HTML (of whatever
flavor) is going to be ugly.

> For those who don't know, WantedPages gives a list of broken internal
> links (which does not include links into the CVS).  As to the
> binaries, those are attachments to the Download page, and will at
> least show up as a nice "Upload attachment ...." message.

So, was the broken formal specification link on the WantedPages?  I
haven't looked there in a while.