]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/content_pres/Makefile
some makefile work
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jan 2006 09:57:33 +0000 (09:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 31 Jan 2006 09:57:33 +0000 (09:57 +0000)
commitc051f623926cdc3b744c38ba393c0a9c7622d299
tree856025e82a515f1b3bd9659264b48db5ee6b4cdb
parent0ef468f9000a8e9c391cc8ade2f9aea35e878305
some makefile work
16 files changed:
helm/ocaml/Makefile.common.in
helm/ocaml/Makefile.in
helm/ocaml/cic_disambiguation/Makefile
helm/ocaml/cic_proof_checking/Makefile
helm/ocaml/cic_proof_checking/utilities/Makefile
helm/ocaml/content_pres/Makefile
helm/ocaml/grafite_parser/Makefile
helm/ocaml/metadata/Makefile
helm/ocaml/metadata/extractor/Makefile
helm/ocaml/metadata/table_creator/Makefile
helm/ocaml/tactics/.depend
helm/ocaml/tactics/paramodulation/Makefile
helm/ocaml/tactics/paramodulation/indexing.ml
helm/ocaml/tactics/paramodulation/saturation.ml
helm/ocaml/thread/Makefile
helm/ocaml/utf8_macros/Makefile