X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.conf.xml.in;h=84452acd3a1b15bcad09894ad40a8422fdb692f7;hb=fd3eb05be0d27238298a040c55e70128b735e2d4;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..84452acd3 100644 --- a/helm/software/matita/matita.conf.xml.in +++ b/helm/software/matita/matita.conf.xml.in @@ -7,7 +7,7 @@ - + $(USER)
@@ -15,26 +15,62 @@ $(user.home)/.matita + + @RT_BASE_DIR@ $(user.name) + +
- + + + + @DBHOST@ matita helm none library + @DBHOST@ matita helm none user + + + + - @DBHOST@ - helm - matita
cic:/matita/ - file://@RT_BASE_DIR@/xml/stantard-library/ + file://$(matita.rt_base_dir)/xml/standard-library/ ro @@ -66,7 +102,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