]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/annotationHelper/.depend
ocaml 3.09 transition
[helm.git] / helm / annotationHelper / .depend
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..699b8de3af6551e61d885dca906b4248c212bf90 100644 (file)
@@ -0,0 +1,4 @@
+cicAnnotationHinter.cmo: cicAnnotationHinter.cmi 
+cicAnnotationHinter.cmx: cicAnnotationHinter.cmi 
+cicAnnotationHelper.cmo: cicAnnotationHinter.cmi 
+cicAnnotationHelper.cmx: cicAnnotationHinter.cmx