<key name="environment_trust">true</key>
<key name="baseuri">cic:/matita/</key>
<key name="basedir">.matita/xml</key>
- <key name="owner">mario</key>
+ <key name="owner">@@OWNER@@</key>
<!-- <key name="font_size">10</key> -->
<key name="tactics_bar">false</key>
</section>
<key name="database">matita</key>
</section>
<section name="getter">
- <key name="prefetch">true</key>
+ <!-- <key name="prefetch">false</key> -->
+ <key name="prefetch">@@PREFETCH@@</key>
<key name="servers">
file:///projects/helm/library/coq_contribs
</key>