# HG changeset patch
# User kleing
# Date 1191055434 -7200
# Node ID a17b416271151e813b7299b90d5a9caface7c882
# Parent  28a255fcc9392be5ef15df45033f2de5a2bc9671
add -p 2 at-sml-dev test for HOL proof terms sessions only

diff -r 28a255fcc939 -r a17b41627115 Admin/isatest/isatest-makedist
--- 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"