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 27308 b915a10a616a
parent 27084 654bf12de98b
child 27488 9771f949bd84
equal deleted inserted replaced
27307:70c98cd37161 27308:b915a10a616a 
   103 sleep 5
 
   103 sleep 5
 
   104 $SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
 
   104 $SSH atbroy100 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
 
   105 sleep 5
 
   105 sleep 5
 
   106 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 
   106 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 
   107 sleep 5
 
   107 sleep 5
 
   108 $SSH atbroy98 "$MAKEALL $HOME/settings/at-sml-dev-e"
 
   108 $SSH macbroy23 "$MAKEALL $HOME/settings/at-sml-dev-e"
 
   109 sleep 5
 
   109 sleep 5
 
   110 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
 
   110 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
 
   111 sleep 5
 
   111 sleep 5
 
   112 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev"
 
   112 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev"
 
   113 sleep 5
 
   113 sleep 5
isabelle