]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/mathql/.depend
package dependences calulation fixed
[helm.git] / helm / ocaml / mathql / .depend
1 mQueryTParser.cmi: /usr/lib/ocaml/3.06/lexing.cmi mathQL.cmo 
2 mQueryUtil.cmi: /usr/lib/ocaml/3.06/lexing.cmi mathQL.cmo \
3     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
4 mQueryTParser.cmo: /usr/lib/ocaml/3.06/lexing.cmi mathQL.cmo \
5     /usr/lib/ocaml/3.06/obj.cmi /usr/lib/ocaml/3.06/parsing.cmi \
6     mQueryTParser.cmi 
7 mQueryTParser.cmx: /usr/lib/ocaml/3.06/lexing.cmx mathQL.cmx \
8     /usr/lib/ocaml/3.06/obj.cmx /usr/lib/ocaml/3.06/parsing.cmx \
9     mQueryTParser.cmi 
10 mQueryTLexer.cmo: /usr/lib/ocaml/3.06/lexing.cmi mQueryTParser.cmi \
11     /usr/lib/ocaml/3.06/string.cmi 
12 mQueryTLexer.cmx: /usr/lib/ocaml/3.06/lexing.cmx mQueryTParser.cmx \
13     /usr/lib/ocaml/3.06/string.cmx 
14 mQueryUtil.cmo: mQueryTLexer.cmo mQueryTParser.cmi mathQL.cmo \
15     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
16     mQueryUtil.cmi 
17 mQueryUtil.cmx: mQueryTLexer.cmx mQueryTParser.cmx mathQL.cmx \
18     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
19     mQueryUtil.cmi