From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 15:01:01 +0000 (+0000)
Subject: valid baseuri in template
X-Git-Tag: V_0_1_2_1~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=140aadd9e28e1f1ec245c9b4370dae72c377b226;p=helm.git

valid baseuri in template
---

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/".