X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_library%2F.depend;h=72fc771774e97ac71a49dc0cdfaee4c8fa139f51;hb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;hp=48127a32524c5ddf62190d9f5127650cbf289c7c;hpb=bfcde2b08d72f1392ed61164c67d199360f0397f;p=helm.git diff --git a/matita/components/ng_library/.depend b/matita/components/ng_library/.depend index 48127a325..72fc77177 100644 --- a/matita/components/ng_library/.depend +++ b/matita/components/ng_library/.depend @@ -1,3 +1,5 @@ -nCicLibrary.cmi: -nCicLibrary.cmo: nCicLibrary.cmi -nCicLibrary.cmx: nCicLibrary.cmi +nCicLibrary.cmo : \ + nCicLibrary.cmi +nCicLibrary.cmx : \ + nCicLibrary.cmi +nCicLibrary.cmi :