head	1.5;
access;
symbols
	RELEASE_8_3_0:1.4
	RELEASE_9_0_0:1.4
	RELEASE_7_4_0:1.4
	RELEASE_8_2_0:1.4
	RELEASE_6_EOL:1.4
	RELEASE_8_1_0:1.4
	RELEASE_7_3_0:1.4
	RELEASE_8_0_0:1.4
	RELEASE_7_2_0:1.4
	RELEASE_7_1_0:1.4
	RELEASE_6_4_0:1.4
	RELEASE_5_EOL:1.4
	RELEASE_7_0_0:1.4
	RELEASE_6_3_0:1.4
	PRE_XORG_7:1.4
	RELEASE_4_EOL:1.4
	RELEASE_6_2_0:1.4
	RELEASE_6_1_0:1.4
	RELEASE_5_5_0:1.4
	RELEASE_4_11_0:1.1
	RELEASE_5_3_0:1.1;
locks; strict;
comment	@# @;


1.5
date	2013.02.18.18.46.26;	author svnexp;	state Exp;
branches;
next	1.4;

1.4
date	2006.01.05.10.05.36;	author pav;	state Exp;
branches;
next	1.3;

1.3
date	2005.12.01.01.56.43;	author edwin;	state Exp;
branches;
next	1.2;

1.2
date	2005.02.18.23.44.40;	author kris;	state dead;
branches;
next	1.1;

1.1
date	2004.08.21.15.42.34;	author thierry;	state Exp;
branches;
next	;


desc
@@


1.5
log
@## SVN ## Exported commit - http://svnweb.freebsd.org/changeset/base/312515
## SVN ## CVS IS DEPRECATED: http://wiki.freebsd.org/CvsIsDeprecated
@
text
@This is a port of MLton, the whole-program optimizing Standard ML
Compiler.  MLton runs on a variety of platforms, generates excellent
code, has a fast C FFI, profiling, and many useful libraries,
including an interface to the GNU multiprecision library.  For more
information, go to the MLton home page.

WWW: http://mlton.org/
@


1.4
log
@- Update to 20051202

PR:		ports/90097
Submitted by:	Geoffrey Mainland <mainland@@apeiron.net>
Approved by:	maintainer
@
text
@d7 1
a7 3
WWW:	http://mlton.org/
    
Stephen Weeks <sweeks@@sweeks.com>
@


1.3
log
@RESURRECT PORT: lang/mlton

        Although Stephen Weeks was the original maintainer of this
        port and still should be (unless he'd prefer not to be, in
        which case I volunteer), I made the first push to get this
        port included and will commit to resolving any problems
        that crop up from here on out. I think it's important to
        have MLton in the ports tree as it is a great ML compiler.
	The new lang/twelf port would also benefit, as it is a good
	bit faster when compiled with MLton :)

PR:		ports/89684
Submitted by:	Geoffrey Mainland <mainland@@apeiron.net>
@
text
@d7 1
a7 1
WWW:	http://www.mlton.org/
@


1.2
log
@As previously announced, remove ports that have reached their expiry date,
and the handful of ports that depended on them.
@
text
@@


1.1
log
@Add mlton 20040227, an optimizing Standard ML compiler.

PR:		44295
Submitted by:	Stephen Weeks
@
text
@@

