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