mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
Code Issues Releases Activity

Refer people needed a lighter weight implementation of ML to Chuck Robey's

Browse Source 
Moscow ML port.
This commit is contained in:
Joseph Koshy 1998-08-03 01:31:39 +00:00
parent 10efe5b85e
commit c9a53bc4e6
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=12259
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lang/sml-nj-devel/pkg-descr
View File

@ -3,5 +3,9 @@ including the new Basis library with a few minor omissions and discrepancies.
See also: http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
This port installs most parts of the ML system by default. If you are
interested in a lighter implementation of ML, the Moscow-ML port is
recommended.
- Joseph Koshy
<jkoshy@freebsd.org>

4
lang/sml-nj/pkg-descr
View File

@ -3,5 +3,9 @@ including the new Basis library with a few minor omissions and discrepancies.
See also: http://cm.bell-labs.com/cm/cs/what/smlnj/index.html
This port installs most parts of the ML system by default. If you are
interested in a lighter implementation of ML, the Moscow-ML port is
recommended.
- Joseph Koshy
<jkoshy@freebsd.org>