]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/ng_cic_content/.depend
Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo.it:/srv/git/helm into matita...
[helm.git] / matita / components / ng_cic_content / .depend
index d870b57dc6bbe3e0edafd2e1990288a17ce0491b..579a21e33e02fec0b8f9b84cdd49a6f78e833cbf 100644 (file)
@@ -1,12 +1,6 @@
-interpretations.cmo : \
-    ncic2astMatcher.cmi \
-    interpretations.cmi
-interpretations.cmx : \
-    ncic2astMatcher.cmx \
-    interpretations.cmi
+interpretations.cmo : ncic2astMatcher.cmi interpretations.cmi
+interpretations.cmx : ncic2astMatcher.cmx interpretations.cmi
 interpretations.cmi :
-ncic2astMatcher.cmo : \
-    ncic2astMatcher.cmi
-ncic2astMatcher.cmx : \
-    ncic2astMatcher.cmi
+ncic2astMatcher.cmo : ncic2astMatcher.cmi
+ncic2astMatcher.cmx : ncic2astMatcher.cmi
 ncic2astMatcher.cmi :