]> matita.cs.unibo.it Git - helm.git/commitdiff
new matita.conf with getter entry to see the published matita contribs and with a...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 Sep 2007 14:23:27 +0000 (14:23 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 13 Sep 2007 14:23:27 +0000 (14:23 +0000)
a db sipset for publishing the matita developments is also provided

helm/software/matita/matita.conf.xml.in

index 62f69ac6126065eaa80ea4dd644b457849cc18b5..791e69cf86dcaf9588564d688e18cd6d1f4f1293 100644 (file)
     <!-- 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>
       (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/