even less ambitious isatest for smlnj;

--- a/Admin/isatest/isatest-makedist	Tue Mar 23 16:18:44 2010 +0100
+++ b/Admin/isatest/isatest-makedist	Tue Mar 23 17:26:41 2010 +0100
@@ -96,7 +96,7 @@
 sleep 15
 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
 sleep 15
-$SSH macbroy23 "$MAKEALL -l HOL HOL-ex $HOME/settings/at-sml-dev-e"
+$SSH macbroy23 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15