X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.conf.xml.in;h=e88a4fc5a8104987bbc89528848fb8f0c7994201;hb=84dbeab0a11aed6afb529b884bd796dec644c949;hp=62f69ac6126065eaa80ea4dd644b457849cc18b5;hpb=bb9aa02b52977c05fe678a4e15bfc64e27c2c5f5;p=helm.git
diff --git a/matita/matita.conf.xml.in b/matita/matita.conf.xml.in
index 62f69ac61..e88a4fc5a 100644
--- a/matita/matita.conf.xml.in
+++ b/matita/matita.conf.xml.in
@@ -45,11 +45,13 @@
exactly one 'library' db must be specified
exactly one 'legacy' db can be specified
-->
-
-
- @DBHOST@ matita helm none library
+
+
+
+ @DBHOST@ matita helm none legacy
+ @DBHOST@ public helm none library
@DBHOST@ matita helm none user
+
+ cic:/matita/
+ file:///projects/helm/library/matita_contribs/matita
+ ro
+
cic:/matita/
file://$(matita.rt_base_dir)/xml/standard-library/