diff options
| author | Chuck Robey <chuckr@FreeBSD.org> | 1998-08-03 01:40:51 +0800 |
|---|---|---|
| committer | Chuck Robey <chuckr@FreeBSD.org> | 1998-08-03 01:40:51 +0800 |
| commit | ddf1a2599110ff51e70b572726b089dfca758646 (patch) | |
| tree | c4899c8aa151960c1c929bacd23147143eb1b524 /lang/moscow_ml | |
| parent | 555f6b44ace61295d721f05daa51063bd8e016da (diff) | |
| download | freebsd-ports-gnome-ddf1a2599110ff51e70b572726b089dfca758646.tar.gz freebsd-ports-gnome-ddf1a2599110ff51e70b572726b089dfca758646.tar.zst freebsd-ports-gnome-ddf1a2599110ff51e70b572726b089dfca758646.zip | |
Add pointer to smlnnj for those with plenty of disk.
Diffstat (limited to 'lang/moscow_ml')
| -rw-r--r-- | lang/moscow_ml/pkg-descr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lang/moscow_ml/pkg-descr b/lang/moscow_ml/pkg-descr index 5841b7623332..44e875c8e4fb 100644 --- a/lang/moscow_ml/pkg-descr +++ b/lang/moscow_ml/pkg-descr @@ -11,3 +11,7 @@ The current version 1.43 of Moscow ML * includes several new libraries and a new type `char' THE MOSCOW ML HOME PAGE is at http://www.dina.kvl.dk/~sestoft/mosml.html + +This is a good version of the ml language if you have limited space. +If you have sufficient disk space to hold it all, the new smlnj port +is much more complete and is a better choice. |