<!-- User name. It is used down in this configuration file. If left
unspecified, name of the user executing matita will be used (as per
getent) -->
- <!-- <key name="name">foo</key> -->
+ <key name="name">$(USER)</key>
</section>
<section name="matita">
<!-- Debug only. Stay away. -->
<!-- Debug only. Stay away. -->
<!-- <key name="environment_trust">true</key> -->
<key name="basedir">$(user.home)/.matita</key>
+ <!-- Where support files are installed -->
+ <key name="rt_base_dir">@RT_BASE_DIR@</key>
<!-- Metadata owner. It will be used to create user-specific tables
in the SQL database. -->
<key name="owner">$(user.name)</key>
-->
<key name="prefix">
cic:/matita/
- file://@RT_BASE_DIR@/xml/stantard-library/
+ file://$(matita.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>