X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fbinaries%2Ftranscript%2FCoRN.conf.xml;h=ad576e986226e7672db29a9b8a4406dad1582e96;hb=62e3a3ce3ac21ab25074ad2af1883a4b0cbc62be;hp=e952b23e47dac52991f1d1b293f369bdda1cfa8f;hpb=0dfad591e92a2c1174313ed7be80da0084b618b3;p=helm.git

diff --git a/components/binaries/transcript/CoRN.conf.xml b/components/binaries/transcript/CoRN.conf.xml
index e952b23e4..ad576e986 100644
--- a/components/binaries/transcript/CoRN.conf.xml
+++ b/components/binaries/transcript/CoRN.conf.xml
@@ -1,10 +1,13 @@
 <?xml version="1.0" encoding="utf-8"?>
 <helm_registry>
   <section name="package">      
-    <key name="name">CoRN</key>
-    <key name="base_uri">cic:/matita/CoRN-Decl</key>
+    <key name="input_name">CoRN</key>
+    <key name="output_name">CoRN-Decl</key>
+    <key name="input_base_uri">cic:/CoRN</key>
+    <key name="output_base_uri">cic:/matita/CoRN-Decl</key>
     <key name="input_path">/projects/helm/exportation/CoRN</key>
     <key name="output_path">$(transcript.helm_dir)/matita/contribs/CoRN-Decl</key>
     <key name="script_type">.v</key>
+    <key name="coercion">Z_of_nat cic:/Coq/ZArith/BinInt</key>
   </section>
 </helm_registry>