From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Sep 2005 17:04:54 +0000 (+0000)
Subject: cic_textual_parser2 ==> cic_disambiguation
X-Git-Tag: V_0_1_2_1~32
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ddad59d77fe712c02910645f10185cefd5c2c1cf;p=helm.git

cic_textual_parser2 ==> cic_disambiguation
---

diff --git a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
index 19c983609..d4c29fd78 100644
--- a/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
+++ b/helm/ocaml/METAS/meta.helm-cic_disambiguation.src
@@ -1,3 +1,4 @@
-description="alias for helm-cic_textual_parser2"
-requires="helm-cic_textual_parser2"
+requires="helm-tactics helm-cic_transformations"
 version="0.0.1"
+archive(byte)="cic_disambiguation.cma"
+archive(native)="cic_disambiguation.cmxa"