]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_test/.depend
MathQL 1.3 ready for use
[helm.git] / helm / ocaml / mathql_test / .depend
index 6974b705264ccb56fbac432335896845818104dd..b8d9e578a19ee87615fbd3a4e7bd4893be9c2742 100644 (file)
@@ -1,2 +1,6 @@
-mqgtop.cmo: mQGTopParser.cmi 
-mqgtop.cmx: mQGTopParser.cmx 
+mqgtop.cmo: mQGTopLexer.cmo mQGTopParser.cmi 
+mqgtop.cmx: mQGTopLexer.cmx mQGTopParser.cmx 
+mQGTopParser.cmo: mQGTopParser.cmi 
+mQGTopParser.cmx: mQGTopParser.cmi 
+mQGTopLexer.cmo: mQGTopParser.cmi 
+mQGTopLexer.cmx: mQGTopParser.cmx