helm/ocaml/cic_notation/test_parser.conf.xml

   1 <helm_registry>
   2   <section name="getter">
   3     <key name="prefix">
   4       cic:/
   5       file:///projects/helm/library/coq_contribs/
   6     </key>
   7     <key name="prefix">
   8       cic:/matita/
   9       file:///home/zacchiro/helm/matita/.matita/xml/matita/
  10     </key>
  11   </section>
  12   <section name="notation">
  13     <key name="core_file">../../matita/core_notation.moo</key>
  14   </section>
  15 </helm_registry>