components/binaries/transcript/transcript.conf.xml

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <section name="transcript">
   4     <key name="helm_dir">/home/fguidi/svn/software</key>
   5     <key name="heading_path">matita/matita.ma.templ</key>
   6     <key name="heading_lines">14</key>
   7   </section>
   8 </helm_registry>