]> matita.cs.unibo.it Git - helm.git/commit
more makefile work
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jul 2005 17:59:48 +0000 (17:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jul 2005 17:59:48 +0000 (17:59 +0000)
commit76a45dfa7d4a7708797930f8c9025f63a66910cb
tree975f15c49b92ccdc729ddb5a766fe9dde554f98c
parent84d80c68bd584e2c0a2b96dc2f1d5923cea667d8
more makefile work
helm/matita/Makefile.in
helm/matita/configure.ac
helm/matita/library/Makefile
helm/matita/scripts/do_tests.sh
helm/matita/scripts/profile_cvs.sh
helm/matita/tests/Makefile