]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/use_case/stats/download_candidates.sh
ocaml 3.09 transition
[helm.git] / helm / papers / use_case / stats / download_candidates.sh
1 #!/bin/sh
2 for i in `fgrep -v '#' CANDIDATI`; do
3   DEST=`echo $i | tr ":/'" '_' `
4   wget -O CICXML/$DEST "http://mowgli.cs.unibo.it:58081/getxml?uri="$i
5   gzip CICXML/$DEST
6 done