| Thu, 22 Apr 1999 10:55:23 +0200 | mueller | delete old files for adding second modelchecker connection; | changeset | files |
| Wed, 21 Apr 1999 19:03:11 +0200 | wenzelm | $ML_HOME/.arch-n-opsys 2>/dev/null; | changeset | files |
| Wed, 21 Apr 1999 18:50:35 +0200 | wenzelm | smlnj-110 setup made default; | changeset | files |