X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.conf.xml.in;h=2198eb8b4fd4457597fc956a23019cc2820dcab9;hb=a90c31c1b53222bd6d57360c5ba5c2d0fe7d5207;hp=aeb8af025298496b2ee09be7c63b34da4a26696a;hpb=4377e950998c9c63937582952a79975947aa9a45;p=helm.git
diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index aeb8af025..2198eb8b4 100644
--- a/helm/software/matita/matita.conf.xml.in
+++ b/helm/software/matita/matita.conf.xml.in
@@ -50,17 +50,18 @@
+ so they can coexists on the same db
@DBHOST@ matita helm none library
@DBHOST@ matita helm none user
+ -->
+
+ file://$(matita.basedir) user.db helm helm user
-
- cic:/matita/
- file://$(matita.rt_base_dir)/xml/standard-library/
- ro
-
cic:/matita/
file://$(user.home)/.matita/xml/matita/
+