matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/xml/Makefile

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 24 Nov 2005 08:39:51 +0000 (08:39 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 24 Nov 2005 08:39:51 +0000 (08:39 +0000)
commit	d579fcbe53997bcf8cc617341cd1da5e6d094c13
tree	f862cbb7685c83dc5efeb3fa532614687d90ec21	tree \| snapshot
parent	de782c7f0c4c841b8ecad9399a0948016cf3e2bd	commit \| diff

removed the need of REQUIRES in libraries Makefile, they are now queried from the corresponding META

28 files changed:

helm/ocaml/METAS/meta.helm-cic_disambiguation.src		diff \| blob \| history
helm/ocaml/METAS/meta.helm-extlib.src		diff \| blob \| history
helm/ocaml/METAS/meta.helm-paramodulation.src		diff \| blob \| history
helm/ocaml/Makefile.common.in		diff \| blob \| history
helm/ocaml/cic/Makefile		diff \| blob \| history
helm/ocaml/cic_disambiguation/Makefile		diff \| blob \| history
helm/ocaml/cic_notation/Makefile		diff \| blob \| history
helm/ocaml/cic_omdoc/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/Makefile		diff \| blob \| history
helm/ocaml/cic_transformations/Makefile		diff \| blob \| history
helm/ocaml/cic_unification/Makefile		diff \| blob \| history
helm/ocaml/extlib/Makefile		diff \| blob \| history
helm/ocaml/getter/Makefile		diff \| blob \| history
helm/ocaml/hbugs/Makefile		diff \| blob \| history
helm/ocaml/hmysql/Makefile		diff \| blob \| history
helm/ocaml/logger/Makefile		diff \| blob \| history
helm/ocaml/mathql/Makefile		diff \| blob \| history
helm/ocaml/mathql_generator/Makefile		diff \| blob \| history
helm/ocaml/mathql_interpreter/Makefile		diff \| blob \| history
helm/ocaml/metadata/Makefile		diff \| blob \| history
helm/ocaml/paramodulation/Makefile		diff \| blob \| history
helm/ocaml/registry/Makefile		diff \| blob \| history
helm/ocaml/tactics/Makefile		diff \| blob \| history
helm/ocaml/thread/Makefile		diff \| blob \| history
helm/ocaml/urimanager/Makefile		diff \| blob \| history
helm/ocaml/utf8_macros/Makefile		diff \| blob \| history
helm/ocaml/xml/Makefile		diff \| blob \| history
helm/ocaml/xmldiff/Makefile		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.