X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.conf.xml.in;h=791e69cf86dcaf9588564d688e18cd6d1f4f1293;hb=bad8133c002daeb010eb45d1f6317bc2b5f2b5f8;hp=1c8146435a6375428cd8ad0a16602a11c22d797b;hpb=cea505df0c55c2bb6e239a0aba2abcf80550e920;p=helm.git diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in index 1c8146435..791e69cf8 100644 --- a/helm/software/matita/matita.conf.xml.in +++ b/helm/software/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@/xml/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