branch for universe

[helm.git] / matita / tests / bad_tests / baseuri.log

diff --git a/matita/tests/bad_tests/baseuri.log b/matita/tests/bad_tests/baseuri.log
new file mode 100644 (file)
index 0000000..9185479
--- /dev/null
+++ b/matita/tests/bad_tests/baseuri.log
@@ -0,0 +1,4 @@
+\e[0;32mInfo:  \e[0mexecution of baseuri.ma started:
+\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.