]> matita.cs.unibo.it Git - helm.git/commit
dependences needed a fix :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Feb 2008 19:24:14 +0000 (19:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 19 Feb 2008 19:24:14 +0000 (19:24 +0000)
commitebb9c7470956fb56a4cad9dcd4b8491c0ed01fca
treeccd173fd119169c5683eed245f7e7a7f24228218
parent0e9753cbccef485911e2c2de1b4cdcae592906b9
dependences needed a fix :)
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/.depend
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depends_mma
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/log.txt [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/root [deleted file]
helm/software/matita/contribs/LAMBDA-TYPES/Makefile
helm/software/matita/contribs/LAMBDA-TYPES/depends
helm/software/matita/contribs/LAMBDA-TYPES/log.txt [new file with mode: 0644]
helm/software/matita/contribs/LAMBDA-TYPES/root