]> matita.cs.unibo.it Git - helm.git/blob - helm/xmltheory/XmlTheory/.depend
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
use a dummy location when no location is provided
[helm.git] / helm / xmltheory / XmlTheory / .depend
1 xmltheoryentries.cmo: xmltheoryentries.ml iXml.cmi
2 xmltheoryentries.cmx: xmltheoryentries.ml iXml.cmx
3 iXml.cmo: iXml.ml iXml.cmi
4 iXml.cmx: iXml.ml iXml.cmi
5 iXml.cmi: iXml.mli
6 XmlTheory.vo: XmlTheory.v iXml.cmo xmltheoryentries.cmo
7 XmlTheory.vi: XmlTheory.v iXml.cmo xmltheoryentries.cmo
8 XmlTheory.html: XmlTheory.v iXml.cmo xmltheoryentries.cmo
Unnamed repository; edit this file 'description' to name the repository.