-->
<key name="host">@DBHOST@</key>
<key name="user">helm</key>
- <key name="database">prove-release</key>
+ <key name="database">matita</key>
</section>
<section name="getter">
<!-- Cache dir for CIC XML documents downloaded from the net.
-->
<key name="prefix">
cic:/matita/
- file://@RT_BASE_DIR@/xml/stantard-library/
+ file://@RT_BASE_DIR@/xml/standard-library/
ro
</key>
<key name="prefix">
</key>
<key name="prefix">
cic:/
- file://@RT_BASE_DIR@/legacy-library/coq/
+ file://@RT_BASE_DIR@/xml/legacy-library/coq/
+ legacy
+ </key>
+ <key name="prefix">
+ cic:/
+ file:///projects/helm/library/coq_contribs/
legacy
</key>
</section>