experimental branch with no set baseuri command and no developments

[helm.git] / matita / rottenize_lib

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