Initial revision

[helm.git] / helm / xmltheory / FakeCoq_vo2xml / coq_vo2xml

diff --git a/helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml b/helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml
new file mode 100755 (executable)
index 0000000..34e44a0
--- /dev/null
+++ b/helm/xmltheory/FakeCoq_vo2xml/coq_vo2xml
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+BASEDIR=/home/projects/helm/EXPORT/xmltheory
+$BASEDIR/Coq_v2theoryxml/coq_v2theoryxml -R $BASEDIR/XmlTheory Bologna.XmlTheory $@