Re: Where has mlton.org gone?

On Tue, Apr 17, 2012 at 1:04 PM, Matthew Fluet <[email protected]> wrote:
> On Tue, Apr 17, 2012 at 2:53 AM, Ian Zimmerman <[email protected]> wrote:
>> For a number of days I have been getting a Connection Reset on every attempt to
>> load the mlton.org homepage.
>
> The mlton.org VPS seems to have given up the ghost.  The static
> content can be easily moved to mlton.sourceforge.net (and, with the
> appropriate virtual host setup, be served as www.mlton.org).  The wiki
> content is available from backups, but just in raw wiki syntax.  It
> may take a little longer to convert that to HTML.

I've made an initial pass over converting the (old) mlton.org wiki
content to AsciiDoc to be rendered as static HTML.  So, there's
content back at (new) www.mlton.org; some of the deeper pages are
likely to require additional conversion.  And at some point I'll see
about tweaking the theme, getting the search-box back, etc.

------------------------------------------------------------------------------
For Developers, A Lot Can Happen In A Second.
Boundary is the first to Know...and Tell You.
Monitor Your Applications in Ultra-Fine Resolution. Try it FREE!
http://p.sf.net/sfu/Boundary-d2dvs2