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


1.1
date	2005.07.29.07.19.55;	author barner;	state Exp;
branches;
next	;


desc
@@


1.1
log
@Add polyml 4.1.3, a fast open-source implementation of Standard ML.

PR:		83433
Submitted by:	Timothy Bourke <timbob@@bigpond.com>
@
text
@Poly/ML is a full implementation of Standard ML available as
open-source. It includes a symbolic debugger which allows breakpoints
to be set and local variables to be viewed as ML values.

WWW: http://www.polyml.org
@
