helm/matita/gtkmathview.matita.conf.xml.in

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <math-engine-configuration>
   3   <section name="dictionary">
   4     <key name="path">@RT_BASE_DIR@/dictionary-matita.xml</key>
   5   </section>
   6   <section name="gtk-backend">
   7     <section name="pango-default-shaper">
   8       <section name="variants">
   9         <section name="italic">
  10           <key name="style">normal</key>
  11         </section>
  12       </section>
  13     </section>
  14   </section>
  15 </math-engine-configuration>