This directory contains an implementation of the Edinburgh
Standard ML Library for Poly/ML 1.88.  It is more efficient
than the portable version in that it uses the built-in
functions on arrays.  It also recognises the non-standard
functions that Poly/ML provides.


RCS LOG

$Log: README,v $
# Revision 1.3  1991/10/22  19:55:46  db
# Updated version number.
#
# Revision 1.2  91/03/26  16:58:46  16:58:46  db (Dave Berry)
# Corrected the name of the library.
# 
# Revision 1.1  91/01/10  13:05:36  13:05:36  db (Dave Berry)
# Initial revision
# 

