Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest/isatest-makedist
changeset 32854 7dd4b559e177
parent 32735 f96f3ae3a19d
child 32979 16ecd05c675c
equal deleted inserted replaced
32853:8b63f949fc37 32854:7dd4b559e177 
   104 sleep 15
 
   104 sleep 15
 
   105 $SSH macbroy23 "$MAKEALL -l HOL images $HOME/settings/at-sml-dev-e"
 
   105 $SSH macbroy23 "$MAKEALL -l HOL images $HOME/settings/at-sml-dev-e"
 
   106 sleep 15
 
   106 sleep 15
 
   107 $SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly"
 
   107 $SSH atbroy99 "$MAKEALL $HOME/settings/at64-poly"
 
   108 sleep 15
 
   108 sleep 15
 
   109 $SSH macbroy2 "$MAKEALL $HOME/settings/mac-poly-M4; $MAKEALL $HOME/settings/mac-poly-M8; $MAKEALL $HOME/settings/mac-poly64-M4; $MAKEALL $HOME/settings/mac-poly64-M8"
 
   109 $SSH macbroy2 "$MAKEALL $HOME/settings/mac-poly64-M4; $MAKEALL $HOME/settings/mac-poly64-M8; $MAKEALL $HOME/settings/mac-poly-M4; $MAKEALL $HOME/settings/mac-poly-M8"
 
   110 sleep 15
 
   110 sleep 15
 
   111 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
 
   111 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
 
   112 sleep 15
 
   112 sleep 15
 
   113 #$SSH macbroy6 "$MAKEALL $HOME/settings/at-mac-poly-5.1-para"
 
   113 #$SSH macbroy6 "$MAKEALL $HOME/settings/at-mac-poly-5.1-para"
 
   114 #sleep 15
 
   114 #sleep 15
isabelle