]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/hmysql/.depend
parameter sintax added to axiom statement
[helm.git] / helm / software / components / hmysql / .depend
index 16e6e9da7ff478b574edcc5f5756da5ac302ed34..179a7a5ef2418547511980f25f459b9da81a5b48 100644 (file)
@@ -1,2 +1,7 @@
-hSql.cmo: hSqlite3.cmo hMysql.cmo hSql.cmi 
-hSql.cmx: hSqlite3.cmx hMysql.cmx hSql.cmi 
+hSql.cmi :
+hSqlite3.cmo :
+hSqlite3.cmx :
+hMysql.cmo :
+hMysql.cmx :
+hSql.cmo : hSqlite3.cmo hMysql.cmo hSql.cmi
+hSql.cmx : hSqlite3.cmx hMysql.cmx hSql.cmi