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