<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>