X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.conf.xml.in;h=851d0e816897110a61fc2d13a5d1b47962ff1b99;hp=c16e997bbfd1553ef5cf25131e0696b0055f50aa;hb=42fb6dce8110e29ccf233c09e6d6b1d58d9e5fef;hpb=0bcf2dc1a27e38cb6cd3d44eb838d652926841e0

diff --git a/matita/matita/matita.conf.xml.in b/matita/matita/matita.conf.xml.in
index c16e997bb..851d0e816 100644
--- a/matita/matita/matita.conf.xml.in
+++ b/matita/matita/matita.conf.xml.in
@@ -15,6 +15,8 @@
     <!-- Debug only. Stay away. -->
     <!-- <key name="environment_trust">true</key> -->
     <key name="basedir">$(user.home)/.matita</key>
+    <!-- remove the old objects before putting the new ones -->
+    <key name="remove_old_objects">false</key>
     <!-- Where support files are installed -->
     <key name="rt_base_dir">@RT_BASE_DIR@</key>
     <!-- Metadata owner. It will be used to create user-specific tables