diff options
| -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> |