]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/.depend
Initial revision
[helm.git] / helm / interface / .depend
index a495dfeabe522060659d9b116781f8842c619264..6402ae55b38660205eeab97dda6bbd52198d4bab 100644 (file)
@@ -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