--- a/Admin/isatest/isatest-makedist Sat Sep 29 10:45:41 2007 +0200
+++ b/Admin/isatest/isatest-makedist Sat Sep 29 10:47:05 2007 +0200
@@ -101,11 +101,11 @@
sleep 5
$SSH atbroy9 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
sleep 5
-$SSH atbroy98 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
+$SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
sleep 5
$SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para-e"
sleep 5
-$SSH atbroy100 "$MAKEALL $HOME/settings/at-sml-dev"
+$SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev"
sleep 5
$SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly-e"
sleep 5