diff options
| author | jkoshy <jkoshy@FreeBSD.org> | 1998-08-03 09:31:39 +0800 |
|---|---|---|
| committer | jkoshy <jkoshy@FreeBSD.org> | 1998-08-03 09:31:39 +0800 |
| commit | 5045a95632b6465d09f877d98976ed10c04dc10a (patch) | |
| tree | c129c9cf5e32588459086418546be873e3675cae /lang | |
| parent | ddc948a5b646d10476319eb9391b06f6827239ca (diff) | |
| download | freebsd-ports-gnome-5045a95632b6465d09f877d98976ed10c04dc10a.tar.gz freebsd-ports-gnome-5045a95632b6465d09f877d98976ed10c04dc10a.tar.zst freebsd-ports-gnome-5045a95632b6465d09f877d98976ed10c04dc10a.zip | |
Refer people needed a lighter weight implementation of ML to Chuck Robey's
Moscow ML port.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/sml-nj-devel/pkg-descr | 4 | ||||
| -rw-r--r-- | lang/sml-nj/pkg-descr | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/lang/sml-nj-devel/pkg-descr b/lang/sml-nj-devel/pkg-descr index 4db9ef176f2f..318b31534f13 100644 --- a/lang/sml-nj-devel/pkg-descr +++ b/lang/sml-nj-devel/pkg-descr @@ -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> diff --git a/lang/sml-nj/pkg-descr b/lang/sml-nj/pkg-descr index 4db9ef176f2f..318b31534f13 100644 --- a/lang/sml-nj/pkg-descr +++ b/lang/sml-nj/pkg-descr @@ -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> |