2 <section name="getter">
3 <key name="prefetch">false</key>
5 file:///projects/helm/library/coq_contribs
7 <key name="cache_dir">/tmp/zack/cache</key>
8 <key name="maps_dir">/projects/helm/var</key>
9 <key name="dtd_dir">/projects/helm/xml/dtd</key>
10 <!-- <key name="loglevel">180</key> -->