]> matita.cs.unibo.it Git - helm.git/commit
Makefiles made less verbose.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Dec 2005 13:32:45 +0000 (13:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Dec 2005 13:32:45 +0000 (13:32 +0000)
commit99246615bc3c84dfb85180869487dd6f432c1a99
treecc9ce85058d83af2cfa8bd323d060295c42b9c58
parent3d376438e698dad45bdf9ea26358dc0a19933813
Makefiles made less verbose.
helm/matita/contribs/LAMBDA-TYPES/Makefile
helm/matita/contribs/PREDICATIVE-TOPOLOGY/Makefile
helm/matita/library/Makefile
helm/matita/tests/Makefile
helm/matita/tests/bad_tests/Makefile