| Wed, 21 Apr 1999 18:50:35 +0200 | wenzelm | smlnj-110 setup made default; | changeset | files |
| Wed, 21 Apr 1999 18:46:58 +0200 | wenzelm | /usr/share/smlnj/bin; | changeset | files |
| Wed, 21 Apr 1999 17:11:34 +0200 | wenzelm | Isamode 2.6 requires patch; | changeset | files |