]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_test/.depend
mathql query generator interface patched
[helm.git] / helm / ocaml / mathql_test / .depend
index 6c5f0ca1b36f5fe6e8ccc0aa14364d5b2d66c22f..3a19b9d0a23bf190db973fcd0915a919793da64b 100644 (file)
@@ -1,2 +1,6 @@
-mqgtop.cmo: mQGTopParser.cmo 
+mqgtop.cmo: mQGTopParser.cmi 
 mqgtop.cmx: mQGTopParser.cmx 
+mQGTopParser.cmo: mQGTopParser.cmi 
+mQGTopParser.cmx: mQGTopParser.cmi 
+mQGTopLexer.cmo: mQGTopParser.cmi 
+mQGTopLexer.cmx: mQGTopParser.cmx