]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/.depend
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / ocaml / getter / .depend
index 1b3156776493d5a3e9c16d98964da292124f593f..c51f1a8e4abb83b2be03ca991ef12d102fc10a16 100644 (file)
@@ -1,4 +1,6 @@
-clientHTTP.cmo: configuration.cmo clientHTTP.cmi 
-clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
-getter.cmo: clientHTTP.cmi configuration.cmo getter.cmi 
+configuration.cmo: configuration.cmi 
+configuration.cmx: configuration.cmi 
+clientHTTP.cmo: clientHTTP.cmi 
+clientHTTP.cmx: clientHTTP.cmi 
+getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
 getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi