5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder#remove an installed version
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder#the first argument should be a version number or a date
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder#compute date by "date -Idate"
5674c32995ec708ca0866242df6a466b3f05c52bChristian MaederINSTALLDIR=/home/www/agbkb/forschung/formal_methods/CoFI/hets
dea33807288e81caf5a1095b00bc9a1d1a8e2584Christian Maederfor i in linux linux64 solaris mac pc-solaris intel-mac
5674c32995ec708ca0866242df6a466b3f05c52bChristian Maeder (cd $INSTALLDIR/$i; rm versions/hets-$VERSION.bz2)