implementation of the make algorithm, still unfinished.

[helm.git] / helm / software / matita / rottenize_lib

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