From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 9 Nov 2007 08:39:33 +0000 (+0000)
Subject: ...
X-Git-Tag: 0.4.95@7852~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=0fd30c3f326c41acf000725ae5438795d756f410

...
---

diff --git a/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch b/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
index d4648c7b2..45f1c0caf 100755
--- a/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
+++ b/pkg-matita/trunk/debian/patches/matita.conf.xml.in.dpatch
@@ -6,21 +6,19 @@
 
 @DPATCH@
 diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
---- trunk~/matita/matita.conf.xml.in	2007-10-28 14:10:17.000000000 +0100
-+++ trunk/matita/matita.conf.xml.in	2007-10-28 14:41:45.000000000 +0100
-@@ -50,9 +50,11 @@
-          note that user's tables are named diffrently from library tables, so that
- 	 they can coexists on the same db -->
- 
+--- trunk~/matita/matita.conf.xml.in	2007-10-29 17:13:47.000000000 +0100
++++ trunk/matita/matita.conf.xml.in	2007-11-07 15:57:56.000000000 +0100
+@@ -49,17 +49,17 @@
+     <!-- 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 -->
+-
 +<!--
-     <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 legacy</key>
+     <key name="metadata">@DBHOST@ public 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
-@@ -64,9 +66,9 @@
      <!-- 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>
@@ -31,7 +29,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
  
      <!-- 
      If you have a large amount of metadata, you may be interested in using
-@@ -97,11 +99,13 @@
+@@ -90,11 +90,13 @@
        (e.g. the Matita standard library)
      "legacy" implies "ro"
      -->
@@ -45,7 +43,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
      <key name="prefix">
        cic:/matita/
        file://$(matita.rt_base_dir)/xml/standard-library/
-@@ -111,6 +115,7 @@
+@@ -104,6 +106,7 @@
        cic:/matita/
        file://$(user.home)/.matita/xml/matita/
      </key>
@@ -53,7 +51,7 @@ diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
      <key name="prefix">
        cic:/
        file://@RT_BASE_DIR@/xml/legacy-library/coq/
-@@ -126,5 +131,6 @@
+@@ -119,5 +122,6 @@
        http://mowgli.cs.unibo.it/xml/
        legacy
      </key>