From bd9eca0b56cf338f7eac0d0c9d014364fe260291 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 13 Sep 2007 14:23:27 +0000
Subject: [PATCH] new matita.conf with getter entry to see the published matita
 contribs and with a db entry to see the public db. a db sipset for publishing
 the matita developments is also provided

---
 matita/matita.conf.xml.in | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/matita/matita.conf.xml.in b/matita/matita.conf.xml.in
index 62f69ac61..791e69cf8 100644
--- a/matita/matita.conf.xml.in
+++ b/matita/matita.conf.xml.in
@@ -49,9 +49,18 @@
     <!-- this snippet is what is used by the helm team, everything on mowgli.
          note that user's tables are named diffrently from library tables, so that
 	 they can coexists on the same db -->
+
+    <key name="metadata">@DBHOST@ public helm none legacy</key>
     <key name="metadata">@DBHOST@ matita helm none library</key>
     <key name="metadata">@DBHOST@ matita helm none user</key>
 
+    <!-- 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>
+    -->
+
     <!-- 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>
@@ -88,6 +97,11 @@
       (e.g. the Matita standard library)
     "legacy" implies "ro"
     -->
+    <key name="prefix">
+      cic:/matita/
+      file:///projects/helm/library/matita_contribs/matita
+      ro
+    </key>
     <key name="prefix">
       cic:/matita/
       file://$(matita.rt_base_dir)/xml/standard-library/
-- 
2.39.2