modifications to make matita behave reasonably, removed some useless windows

[helm.git] / matita / rottenize_lib

#!/bin/bash
set -x
make clean-rottened
./rottener.opt -r library/