| changeset 24756 | a17b41627115 |
| parent 24647 | 212c9b342a67 |
| child 24758 | 53c1a0a46db3 |
--- a/Admin/isatest/isatest-makedist Sat Sep 29 10:41:45 2007 +0200 +++ b/Admin/isatest/isatest-makedist Sat Sep 29 10:43:54 2007 +0200 @@ -101,6 +101,8 @@ 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" +sleep 5 $SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly-5.1-para-e" sleep 5 $SSH atbroy100 "$MAKEALL $HOME/settings/at-sml-dev"