projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 9 Jan 2006 12:51:58 +0000 (12:51 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 9 Jan 2006 12:51:58 +0000 (12:51 +0000) | ||
| commit | 5143973417de0bd6796554c0fd45dbf9424ee07e | |
| tree | 0474c121ac94ae2f083bf75afac0cdb966a7de99 | tree | snapshot |
| parent | bfa14514cb671b6e393104ce98628af43ae94c4b | commit | diff |
| helm/matita/matitaclean.ml | diff | blob | history |