components/binaries/transcript/CoRN.conf.xml

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <section name="package">
   4     <key name="input_name">CoRN</key>
   5     <key name="output_name">CoRN-Decl</key>
   6     <key name="input_base_uri">cic:/CoRN</key>
   7     <key name="output_base_uri">cic:/matita/CoRN-Decl</key>
   8     <key name="input_path">/projects/helm/exportation/CoRN</key>
   9     <key name="output_path">$(transcript.helm_dir)/matita/contribs/CoRN-Decl</key>
  10     <key name="script_type">.v</key>
  11     <key name="coercion">Z_of_nat cic:/Coq/ZArith/BinInt</key>
  12   </section>
  13 </helm_registry>