X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fbinaries%2Ftranscript%2FCoRN.conf.xml;fp=components%2Fbinaries%2Ftranscript%2FCoRN.conf.xml;h=e904b4d4e7a3a45ea3b4413f514ca6ecff58913b;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/binaries/transcript/CoRN.conf.xml b/components/binaries/transcript/CoRN.conf.xml
new file mode 100644
index 000000000..e904b4d4e
--- /dev/null
+++ b/components/binaries/transcript/CoRN.conf.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="utf-8"?>
+<helm_registry>
+  <section name="package">      
+    <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/Z_of_nat.con</key>
+    <key name="coercion">Zpos cic:/Coq/ZArith/BinInt/Z.ind#xpointer(1/1/2)</key>
+    <key name="coercion">nat_of_P cic:/Coq/NArith/BinPos/nat_of_P.con</key>
+  </section>
+</helm_registry>