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 <!--
   7   <section name="gtk-backend">
   8     <section name="pango-default-shaper">
   9       <section name="variants">
  10         <section name="italic">
  11           <key name="style">normal</key>
  12         </section>
  13       </section>
  14     </section>
  15   </section>
  16 -->
  17 </math-engine-configuration>