matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/Makefile.common.in

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 2 Feb 2006 14:02:18 +0000 (14:02 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Thu, 2 Feb 2006 14:02:18 +0000 (14:02 +0000)
commit	7be6aeb94aa8da17732511a4844bd108976f947f
tree	ee6b3aa71652d58dab397677eb6adaa220951852	tree \| snapshot
parent	23a66711f595d2ce0f42dab6a9f3e3d52bdbd109	commit \| diff

no more multiple configure/Makefile, just one for both ocaml/ and matita/

43 files changed:

helm/Makefile		diff \| blob \| history
helm/Makefile.defs.in	[new file with mode: 0644]	blob
helm/configure.ac		diff \| blob \| history
helm/matita/Makefile	[new file with mode: 0644]	blob
helm/matita/Makefile.in	[deleted file]	blob \| history
helm/matita/configure.ac	[deleted file]	blob \| history
helm/ocaml/Makefile	[new file with mode: 0644]	blob
helm/ocaml/Makefile.common	[new file with mode: 0644]	blob
helm/ocaml/Makefile.common.in	[deleted file]	blob \| history
helm/ocaml/Makefile.defs.in	[deleted file]	blob \| history
helm/ocaml/Makefile.in	[deleted file]	blob \| history
helm/ocaml/acic_content/Makefile		diff \| blob \| history
helm/ocaml/cic/Makefile		diff \| blob \| history
helm/ocaml/cic_acic/Makefile		diff \| blob \| history
helm/ocaml/cic_disambiguation/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/Makefile		diff \| blob \| history
helm/ocaml/cic_proof_checking/utilities/Makefile		diff \| blob \| history
helm/ocaml/cic_unification/Makefile		diff \| blob \| history
helm/ocaml/configure.ac	[deleted file]	blob \| history
helm/ocaml/content_pres/Makefile		diff \| blob \| history
helm/ocaml/extlib/Makefile		diff \| blob \| history
helm/ocaml/getter/Makefile		diff \| blob \| history
helm/ocaml/grafite/Makefile		diff \| blob \| history
helm/ocaml/grafite_engine/Makefile		diff \| blob \| history
helm/ocaml/grafite_parser/Makefile		diff \| blob \| history
helm/ocaml/hbugs/Makefile		diff \| blob \| history
helm/ocaml/hgdome/Makefile		diff \| blob \| history
helm/ocaml/hmysql/Makefile		diff \| blob \| history
helm/ocaml/lexicon/Makefile		diff \| blob \| history
helm/ocaml/library/Makefile		diff \| blob \| history
helm/ocaml/logger/Makefile		diff \| blob \| history
helm/ocaml/metadata/Makefile		diff \| blob \| history
helm/ocaml/metadata/extractor/Makefile		diff \| blob \| history
helm/ocaml/metadata/table_creator/Makefile		diff \| blob \| history
helm/ocaml/registry/Makefile		diff \| blob \| history
helm/ocaml/tactics/Makefile		diff \| blob \| history
helm/ocaml/tactics/paramodulation/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/whelp/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.

RSS Atom