\e[0;32mInfo: \e[0mexecution of baseuri.ma started:
-ciao
-\e[0;34mDfffebug: \e[0mExecuting: ``set "baseuri" "cic:/matita/tests/baseuri/"''
+\e[0;34mDebug: \e[0mExecuting: ``set "baseuri" "cic:/matita/tests/baseuri/"''
\e[0;34mDebug: \e[0mExecuting: ``set "baseuri" "cic:/matita/tests/baseuri/"''
\e[0;31mError: \e[0mError: Redefinition of 'baseuri' is forbidden.