From f13ff83aab6c1f5c0c3463a0284c873c5bc1fe34 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 13 Jun 2005 14:48:34 +0000
Subject: [PATCH] fix

---
 helm/matita/{matita.conf.xml => matita.conf.xml.sample} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename helm/matita/{matita.conf.xml => matita.conf.xml.sample} (91%)

diff --git a/helm/matita/matita.conf.xml b/helm/matita/matita.conf.xml.sample
similarity index 91%
rename from helm/matita/matita.conf.xml
rename to helm/matita/matita.conf.xml.sample
index b4e6d0ff0..d28c809d0 100644
--- a/helm/matita/matita.conf.xml
+++ b/helm/matita/matita.conf.xml.sample
@@ -5,8 +5,9 @@
     <key name="environment_trust">true</key>
     <key name="baseuri">cic:/matita/</key>
     <key name="basedir">.matita/xml</key>
-    <key name="owner">gares</key>
+    <key name="owner">mario</key>
 <!--     <key name="script_font">Monospace 10</key> -->
+    <key name="tactics_bar">false</key>
   </section>
   <section name="db">
     <!-- <key name="host">localhost</key> -->
@@ -22,6 +23,5 @@
     <key name="cache_dir">.matita/getter/cache</key>
     <key name="maps_dir">.matita/getter/maps</key>
     <key name="dtd_dir">/projects/helm/xml/dtd</key>
-<!--     <key name="loglevel">180</key> -->
   </section>
 </helm_registry>
-- 
2.39.2