]> matita.cs.unibo.it Git - helm.git/commit
no more multiple configure/Makefile, just one for both ocaml/ and matita/
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 14:02:18 +0000 (14:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 2 Feb 2006 14:02:18 +0000 (14:02 +0000)
commit7be6aeb94aa8da17732511a4844bd108976f947f
treeee6b3aa71652d58dab397677eb6adaa220951852
parent23a66711f595d2ce0f42dab6a9f3e3d52bdbd109
no more multiple configure/Makefile, just one for both ocaml/ and matita/
43 files changed:
helm/Makefile
helm/Makefile.defs.in [new file with mode: 0644]
helm/configure.ac
helm/matita/Makefile [new file with mode: 0644]
helm/matita/Makefile.in [deleted file]
helm/matita/configure.ac [deleted file]
helm/ocaml/Makefile [new file with mode: 0644]
helm/ocaml/Makefile.common [new file with mode: 0644]
helm/ocaml/Makefile.common.in [deleted file]
helm/ocaml/Makefile.defs.in [deleted file]
helm/ocaml/Makefile.in [deleted file]
helm/ocaml/acic_content/Makefile
helm/ocaml/cic/Makefile
helm/ocaml/cic_acic/Makefile
helm/ocaml/cic_disambiguation/Makefile
helm/ocaml/cic_proof_checking/Makefile
helm/ocaml/cic_proof_checking/utilities/Makefile
helm/ocaml/cic_unification/Makefile
helm/ocaml/configure.ac [deleted file]
helm/ocaml/content_pres/Makefile
helm/ocaml/extlib/Makefile
helm/ocaml/getter/Makefile
helm/ocaml/grafite/Makefile
helm/ocaml/grafite_engine/Makefile
helm/ocaml/grafite_parser/Makefile
helm/ocaml/hbugs/Makefile
helm/ocaml/hgdome/Makefile
helm/ocaml/hmysql/Makefile
helm/ocaml/lexicon/Makefile
helm/ocaml/library/Makefile
helm/ocaml/logger/Makefile
helm/ocaml/metadata/Makefile
helm/ocaml/metadata/extractor/Makefile
helm/ocaml/metadata/table_creator/Makefile
helm/ocaml/registry/Makefile
helm/ocaml/tactics/Makefile
helm/ocaml/tactics/paramodulation/Makefile
helm/ocaml/thread/Makefile
helm/ocaml/urimanager/Makefile
helm/ocaml/utf8_macros/Makefile
helm/ocaml/whelp/Makefile
helm/ocaml/xml/Makefile
helm/ocaml/xmldiff/Makefile