[MLton] wiki mailto URLs

Matthew Fluet fluet@cs.cornell.edu
Wed, 30 Nov 2005 17:30:15 -0500 (EST)

> Matthew, can you explain why you changed occurrences of
>  [mailto:MLton@mlton.org MLton@mlton.org]
> to
>  [mailto:MLton@mlton.org]

IIRC, it was just to make them all consistent.

> I prefer the former because the "mailto:" is not visible and is only
> in the URL if one clicks on it.

I have no objection.