Info:  execution of baseuri.ma started:
Debug: Executing: ``set "baseuri" "cic:/matita/tests/baseuri/"''
Debug: Executing: ``set "baseuri" "cic:/matita/tests/baseuri/"''
Error: Error: Redefinition of 'baseuri' is forbidden.