---- 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 -->
+-