- they can coexists on the same db -->
-
- <!-- The following snipset is used by the helm team to publish the matita
- contributions
- <key name="metadata">@DBHOST@ mowgli helm none legacy</key>
- <key name="metadata">@DBHOST@ public helm none library</key>
- <key name="metadata">@DBHOST@ public helm none user</key>
- -->