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.