]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hxp/.depend
hxp: performes several tasks among which some metadata extraction
[helm.git] / helm / hxp / .depend
diff --git a/helm/hxp/.depend b/helm/hxp/.depend
new file mode 100644 (file)
index 0000000..7f855a4
--- /dev/null
@@ -0,0 +1,9 @@
+hxpTop.cmo: hxpTypes.cmo hxpXML.cmo 
+hxpTop.cmx: hxpTypes.cmx hxpXML.cmx 
+hxpParser.cmo: hxpTypes.cmo hxpParser.cmi 
+hxpParser.cmx: hxpTypes.cmx hxpParser.cmi 
+hxpParser.cmi: hxpTypes.cmo 
+hxpLexer.cmo: hxpParser.cmi 
+hxpLexer.cmx: hxpParser.cmx 
+hxpXML.cmo: hxpLexer.cmo hxpParser.cmi hxpTypes.cmo 
+hxpXML.cmx: hxpLexer.cmx hxpParser.cmx hxpTypes.cmx