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   </section>
   8   <section name="notation">
   9     <key name="core_file">../../matita/core_notation.ma</key>
  10   </section>
  11 </helm_registry>