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