baseuri=cic:/matita/didactic
include_paths=../../../tests
