]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql_test/.depend
functor added
[helm.git] / helm / mathql_test / .depend
index 851d52dd61c303c4cde4a667ac9e8d729d351291..b8d9e578a19ee87615fbd3a4e7bd4893be9c2742 100644 (file)
@@ -1,3 +1,5 @@
+mqgtop.cmo: mQGTopLexer.cmo mQGTopParser.cmi 
+mqgtop.cmx: mQGTopLexer.cmx mQGTopParser.cmx 
 mQGTopParser.cmo: mQGTopParser.cmi 
 mQGTopParser.cmx: mQGTopParser.cmi 
 mQGTopLexer.cmo: mQGTopParser.cmi