helm/matita/matita.conf.xml.sample

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <section name="matita">
   4     <key name="glade_file">matita.glade</key>
   5     <key name="auto_disambiguation">true</key>
   6   </section>
   7 </helm_registry>