projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 26 Jul 2007 08:58:11 +0000 (08:58 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 26 Jul 2007 08:58:11 +0000 (08:58 +0000) | ||
| commit | 07e6ac32902b6b96c74bc82dfac5f08e61c7ccbe | |
| tree | db1b56de5a2e82e26bc1e9105da3144429a2378d | tree | snapshot |
| parent | 53a3e38fa1647ac5c41c07648bbf5289840afc7e | commit | diff |
| helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile | diff | blob | history | |
| helm/software/matita/contribs/LAMBDA-TYPES/Makefile | diff | blob | history |