projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 25 May 2006 08:56:12 +0000 (08:56 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 25 May 2006 08:56:12 +0000 (08:56 +0000) | ||
| commit | dd6fb64232033a720245c165b59862643926de4e | |
| tree | be5d6818fca8441c954b0da5e26eab682b780ae6 | tree | snapshot |
| parent | af4311b5fe3b3836f9464c8d8f6ca737307a6a2f | commit | diff |
| helm/software/matita/matita.txt | diff | blob | history |