From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 4 Feb 2005 09:28:42 +0000 (+0000)
Subject: - removed dependency on mathql
X-Git-Tag: V_0_1_0~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eac74259f5a0aaa8056791876284c897a6827c24;p=helm.git

- removed dependency on mathql
- cosmetic changes
---

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index 60ca2cd0c..744527b1e 100644
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -1,8 +1,10 @@
 PACKAGE = tactics
 REQUIRES = \
-	pcre helm-cic_proof_checking \
-	helm-cic_unification helm-mathql_interpreter helm-mathql_generator \
-	mysql helm-metadata
+	pcre \
+	helm-cic_proof_checking \
+	helm-cic_unification \
+	mysql \
+	helm-metadata
 
 INTERFACE_FILES = \
 	proofEngineTypes.mli \