X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.conf.xml.in;h=791e69cf86dcaf9588564d688e18cd6d1f4f1293;hb=6be5f8cd650becb93f8d8d06eb6b72ef3e9d27c1;hp=2d2f79fd690f5c66d6864807095dfb4b3283bbc8;hpb=5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182;p=helm.git diff --git a/matita/matita.conf.xml.in b/matita/matita.conf.xml.in index 2d2f79fd6..791e69cf8 100644 --- a/matita/matita.conf.xml.in +++ b/matita/matita.conf.xml.in @@ -7,7 +7,7 @@ - + $(USER)
@@ -15,6 +15,8 @@ $(user.home)/.matita + + @RT_BASE_DIR@ $(user.name) @@ -22,19 +24,59 @@
- + + + + @DBHOST@ public helm none legacy + @DBHOST@ matita helm none library + @DBHOST@ matita helm none user + + + + + + - @DBHOST@ - helm - matita
cic:/matita/ - file://@RT_BASE_DIR@/stantard-library/ + file:///projects/helm/library/matita_contribs/matita + ro + + + cic:/matita/ + file://$(matita.rt_base_dir)/xml/standard-library/ ro @@ -66,7 +113,17 @@ cic:/ - file://@RT_BASE_DIR@/legacy-library/coq/ + file://@RT_BASE_DIR@/xml/legacy-library/coq/ + legacy + + + cic:/ + file:///projects/helm/library/coq_contribs/ + legacy + + + cic:/ + http://mowgli.cs.unibo.it/xml/ legacy