projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 26 Sep 2005 16:27:30 +0000 (16:27 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 26 Sep 2005 16:27:30 +0000 (16:27 +0000) | ||
| commit | d4d929614f67a3c0035e2fe6317a7a746db880a0 | |
| tree | 67455623db9d97f63211a6c3ab574e1d0a31deb3 | tree | snapshot |
| parent | 4c002f24d149e7db6525a463268feab09ec8a938 | commit | diff |
| helm/matita/coq.moo | [deleted file] | blob | history |