<!-- The following snippet is used by the helm team
note that user's tables are named diffrently from library tables,
- so they can coexists on the same db -->
+ so they can coexists on the same db
<key name="metadata">@DBHOST@ matita helm none library</key>
<key name="metadata">@DBHOST@ matita helm none user</key>
+ -->
+
<!-- The following snippet it what you want to use a local sqlite db
and acess remotely to the coq library trought mowgli
<key name="metadata">@DBHOST@ matita helm none legacy</key>
- <key name="metadata">file://$(matita.rt_base_dir) metadata.db helm helm library</key>
- <key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
-->
+ <key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
<!--
If you have a large amount of metadata, you may be interested in using
(e.g. the Matita standard library)
"legacy" implies "ro"
-->
- <key name="prefix">
- cic:/matita/
- file://$(matita.rt_base_dir)/xml/standard-library/
- ro
- </key>
<key name="prefix">
cic:/matita/
file://$(user.home)/.matita/xml/matita/
</key>
+<!--
<key name="prefix">
cic:/
file://@RT_BASE_DIR@/xml/legacy-library/coq/
http://mowgli.cs.unibo.it/xml/
legacy
</key>
+-->
</section>
</helm_registry>