X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2F.depend;h=6402ae55b38660205eeab97dda6bbd52198d4bab;hb=a59da263c7903b26597d5debcf2da1e0a4ccd686;hp=a495dfeabe522060659d9b116781f8842c619264;hpb=4e9a9c5ddfe635b338c2abf30f1e918d861e104d;p=helm.git diff --git a/helm/interface/.depend b/helm/interface/.depend index a495dfeab..6402ae55b 100644 --- a/helm/interface/.depend +++ b/helm/interface/.depend @@ -82,6 +82,8 @@ deannotate.cmo: cic.cmo deannotate.cmx: cic.cmx cicXPath.cmo: cic.cmo cicXPath.cmx: cic.cmx +pxpUriResolver.cmo: configuration.cmo +pxpUriResolver.cmx: configuration.cmx annotationParser.cmo: annotationParser2.cmo pxpUriResolver.cmo annotationParser.cmx: annotationParser2.cmx pxpUriResolver.cmx annotationParser2.cmo: cic.cmo