Fri, 12 Nov 2004 06:21:28 -0800
> 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
> 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.
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.