]> matita.cs.unibo.it Git - helm.git/commit
fguidi removed from RT in makefiles
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 14:06:44 +0000 (14:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Oct 2006 14:06:44 +0000 (14:06 +0000)
commit563e48737ae96923a6b7af80ce243bd215a0dea1
treeb436515fca412fce20ec53130b2993e61dfcb978
parent346c502bf7c78629e75e49f8d9ca379144fdb5df
fguidi removed from RT in makefiles
matita/contribs/LAMBDA-TYPES/Level-1/Base/makefile
matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/makefile
matita/contribs/RELATIONAL/makefile