]> matita.cs.unibo.it Git - helm.git/commit
makefile updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Jul 2007 19:05:34 +0000 (19:05 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 25 Jul 2007 19:05:34 +0000 (19:05 +0000)
commit53a3e38fa1647ac5c41c07648bbf5289840afc7e
treeda86a1314f632c62cd9280dd19886cf4ecaeb179
parentd610284a6341b4a7b10d8ba59fcfb00b38d402c6
makefile updated
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depend
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile