diff options
| author | chuckr <chuckr@FreeBSD.org> | 1998-08-03 01:40:51 +0800 |
|---|---|---|
| committer | chuckr <chuckr@FreeBSD.org> | 1998-08-03 01:40:51 +0800 |
| commit | 1ab62fb769d8e52ccdc7edcf18cac99b8174d644 (patch) | |
| tree | 65954be40f614e46ff93036f06f8527c4226e313 /lang/moscow_ml | |
| parent | e88990d928eabf55734740e93552ab2854499099 (diff) | |
| download | freebsd-ports-gnome-1ab62fb769d8e52ccdc7edcf18cac99b8174d644.tar.gz freebsd-ports-gnome-1ab62fb769d8e52ccdc7edcf18cac99b8174d644.tar.zst freebsd-ports-gnome-1ab62fb769d8e52ccdc7edcf18cac99b8174d644.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. |