projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 6 Oct 2005 17:34:57 +0000 (17:34 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 6 Oct 2005 17:34:57 +0000 (17:34 +0000) | ||
| commit | e427c64ca108ee583f7faf05ea4d1b95512da40f | |
| tree | fa47b011fb66c63bccadfc4fc3141ea602698bb1 | tree | snapshot |
| parent | 86b3b952b7e5fd7dce4fa38d22c42676c19b0f3d | commit | diff |
| helm/matita/contribs/LAMBDA-TYPES/Makefile | diff | blob | history | |
| helm/matita/tests/Makefile | diff | blob | history |