From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Feb 2005 09:15:40 +0000 (+0000)
Subject: removed ancient mathql deps
X-Git-Tag: V_0_1_0~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f6dc9540d531b55b4f31ded7a63099074a42d75;p=helm.git

removed ancient mathql deps
---

diff --git a/helm/ocaml/METAS/meta.helm-cic_omdoc.src b/helm/ocaml/METAS/meta.helm-cic_omdoc.src
index e05ddfcec..313d19cd2 100644
--- a/helm/ocaml/METAS/meta.helm-cic_omdoc.src
+++ b/helm/ocaml/METAS/meta.helm-cic_omdoc.src
@@ -1,4 +1,4 @@
-requires="helm-cic_proof_checking helm-mathql_interpreter"
+requires="helm-cic_proof_checking"
 version="0.0.1"
 archive(byte)="cic_omdoc.cma"
 archive(native)="cic_omdoc.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-tactics.src b/helm/ocaml/METAS/meta.helm-tactics.src
index 28943c17d..d12fe16fd 100644
--- a/helm/ocaml/METAS/meta.helm-tactics.src
+++ b/helm/ocaml/METAS/meta.helm-tactics.src
@@ -1,4 +1,4 @@
-requires="helm-cic_proof_checking helm-cic_unification helm-mathql_generator helm-mathql_interpreter helm-mathql helm-metadata"
+requires="helm-cic_proof_checking helm-cic_unification helm-metadata"
 version="0.0.1"
 archive(byte)="tactics.cma"
 archive(native)="tactics.cmxa"