]> matita.cs.unibo.it Git - helm.git/commit
makefiles fixups
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Oct 2006 19:51:39 +0000 (19:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Oct 2006 19:51:39 +0000 (19:51 +0000)
commit1e13af9249480a97222ce749d82bc0e2db4a649d
treea637b15777525eaedb5edb9c1541b8e9815f41e1
parent563e48737ae96923a6b7af80ce243bd215a0dea1
makefiles fixups
matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile
matita/contribs/LAMBDA-TYPES/Makefile [new file with mode: 0644]