]> matita.cs.unibo.it Git - helm.git/commit
new makefiles
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Dec 2006 09:50:02 +0000 (09:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 8 Dec 2006 09:50:02 +0000 (09:50 +0000)
commit2caabc2c2021d86911f8df8ee92d230c5e4e0389
treeacbe1e6c0f5a0d6149f1408cf446350cacbf2b7a
parent1b6d2f465a397fddaa8f27c899551bb91e72ff5d
new makefiles
helm/software/matita/contribs/LAMBDA-TYPES/Unified/makefile
helm/software/matita/contribs/RELATIONAL/makefile
helm/software/matita/library/makefile