]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/Makefile
- New interface for the MathQL interpreter (1.3 version)
[helm.git] / helm / ocaml / mathql / Makefile
index e41e3bbc2c6508e440b906a5b80aaf7e7dc33a60..a700bb5ac9360ba8fe3b9132db9700ac38599843 100644 (file)
@@ -1,5 +1,5 @@
 PACKAGE = mathql
-REQUIRES = helm-urimanager helm-cic helm-cic_textual_parser
+REQUIRES = helm-urimanager helm-cic helm-cic_textual_parser 
 PREDICATES =
 
 INTERFACE_FILES = mQueryTParser.mli mQueryUtil.mli mQueryMisc.mli