From 2914c7179cb8253388df0f5257e41d014a277b01 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

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

diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in
index 62f69ac61..791e69cf8 100644
--- a/helm/software/matita/matita.conf.xml.in
+++ b/helm/software/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