X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.ma.templ;h=ec1bc8006a9858f84ffd6261d313959383c269cb;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=3053fbd7098841e7b01969dade4aae208ca23a45;hpb=9d13e8cffc78ca67acebd258f654ecf6d8ca2164;p=helm.git

diff --git a/helm/matita/matita.ma.templ b/helm/matita/matita.ma.templ
index 3053fbd70..ec1bc8006 100644
--- a/helm/matita/matita.ma.templ
+++ b/helm/matita/matita.ma.templ
@@ -12,5 +12,5 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/#fill here#".
+set "baseuri" "cic:/matita/test/".