From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 13 Oct 2004 09:45:16 +0000 (+0000)
Subject: added alias for cic_textual_parser2
X-Git-Tag: V_0_0_10~79
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f8d68b6ceb45a53d2327a3aa5b1c1703388ed94;p=helm.git

added alias for cic_textual_parser2
---

diff --git a/helm/ocaml/METAS/meta.helm-disambiguator.src b/helm/ocaml/METAS/meta.helm-disambiguator.src
new file mode 100644
index 000000000..cbff9bbcc
--- /dev/null
+++ b/helm/ocaml/METAS/meta.helm-disambiguator.src
@@ -0,0 +1,4 @@
+description="alias for helm-cic_textual_parser2"
+requires="helm-cic_textual_parser2"
+version="0.0.1"
+directory="/"