]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/META.helm-mathql_test.src
mathql_generator: new constraint format (more type safe)
[helm.git] / helm / ocaml / META.helm-mathql_test.src
diff --git a/helm/ocaml/META.helm-mathql_test.src b/helm/ocaml/META.helm-mathql_test.src
deleted file mode 100644 (file)
index 4d66fc3..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-requires="unix helm-cic_textual_parser helm-mathql helm-mathql_interpreter helm-mathql_generator"
-version="1.3"
-linkopts=""