MLton-discuss@sourcelight.com

Wed, 18 Oct 2000 09:56:17 -0700 (PDT)

--yZMsfCJ9w+
Content-Type: text/plain; charset=us-ascii
Content-Description: message body text
Content-Transfer-Encoding: 7bit

> On Tue, Oct 17, 2000 at 03:23:49PM -0500, Henry Cejtin wrote:
> > Your subscribed.  It is a very low-traffic list so far.
> 
> Maybe the list should be announced in the MLton home page
> and in the newsgroups comp.lang.ml and comp.lang.functional.
> 
> I think users do not know about it.
> 
> Romildo
> --=20
> Prof. Jos=E9 Romildo Malaquias <romildo@iceb.ufop.br>
> Departamento de Computa=E7=E3o
> Universidade Federal de Ouro Preto
> Brasil

Henry, I made a new index.html for the home page that addresses this.  Could you 
put it up.  Thanks.

--yZMsfCJ9w+
Content-Type: text/html
Content-Description: home
Content-Transfer-Encoding: 7bit

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
  <HEAD>
    <TITLE>MLton</TITLE>
    <META NAME="author" CONTENT="Stephen Weeks"> 
    <META NAME="description" CONTENT="
      MLton is a whole-program optimizing compiler for
      the Standard ML programming language.">
    <META NAME="keywords" CONTENT="MLton SML Standard ML compiler">
    <LINK REV="made" HREF="mailto:MLton@sourcelight.com">
  </HEAD>
  <BODY>

    <h3>What is MLton?</h3> 

    MLton is a whole-program optimizing compiler for the 
    <a href="http://cm.bell-labs.com/cm/cs/what/smlnj/sml.html">Standard
      ML</a> programming language.  MLton runs on X86 machines under
    Linux.

    <h3>Download</h3>
    The latest version (20000906) is available in binary and source
    RPM and gzip'ed tar formats. Installation of the binary RPM requires 10M disk
    space and the source RPM requires 20M.
    <ul>
      <li> <a
	  href="http://www.sourcelight.com/MLton/mlton-20000906-1.i386.rpm">binary rpm</a> (3M)
      <li> <a
	  href="http://www.sourcelight.com/MLton/mlton-20000906-1.i386.tgz">binary tgz</a> (3M)
      <li> <a
	  href="http://www.sourcelight.com/MLton/mlton-20000906-1.src.rpm">source rpm</a> (3M)
      <li> <a
	  href="http://www.sourcelight.com/MLton/mlton-20000906-1.src.tgz">source tgz</a> (3M)
    </ul>

    <h3>Features of MLton</h3>

    MLton has the features outlined below.  For more details, please see
    the user manual (in <a href = "HTML/main.html">html</a>
    or <a href = "user-guide.ps.gz">postscript</a>).

    <ul>
      <li> Generates small, standalone executables
      <li> <a href = "HTML/node10.html">Good runtime performance</a>
      <li> SML 97 compliant
      <li> <a href = "HTML/node13.html">Mostly complete
	  basis library</a>
      <li> Fast <tt>IntInf</tt> based on the
	<a href = "http://www.gnu.org/software/gmp/gmp.html">GNU
	  multiprecision library (gmp)</a>
      <li> Libraries for
	<a href = "HTML/node27.html">continuations</a>,
	<a href = "HTML/node30.html">threads</a>, 
	<a href = "HTML/node31.html">signal handlers</a>,
	<a href = "HTML/node32.html">sockets</a>,
	and <a href = "HTML/node34.html">heap save and restore</a>
      <li> <a href = "HTML/node40.html">Fast C FFI</a>
      <li> <a href = "HTML/node43.html">Profiling</a>
    </ul>

    <h3>What's new</h3>
    Version 20000906 is mostly a bugfix release over 20000712.  The other major
    changes are that <tt>mllex</tt> and <tt>mlyacc</tt> are now included and
    that <tt>mlton</tt> can now process a limited subset of CM files as input.
    Here is a complete list of <a href = "CHANGES">changes and bugfixes</a>.

    <h3>Contact</h3>

To send a comment, question, or bug report to MLton's authors, use
<a href = "mailto:MLton@sourcelight.com"><TT>MLton@sourcelight.com</TT></a>.
To send mail to the MLton user community, use
<a href =
      "mailto:MLton-discuss@sourcelight.com"><TT>MLton-discuss@sourcelight.com</TT></a>.
To join the </tt>MLton-discuss</tt> mailing list, send mail to
<a herf =
      "mailto:majordomo@sourcelight.com"><TT>majordomo@sourcelight.com</TT></A>
with a message body (not subject) of <TT>subscribe MLton-discuss</TT>.

    <hr>
    <!-- hhmts start -->
Last modified: Wed Oct 18 09:53:36 PDT 2000
<!-- hhmts end -->
  </body>
</html>

--yZMsfCJ9w+--