projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 30 May 2006 14:56:58 +0000 (14:56 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 30 May 2006 14:56:58 +0000 (14:56 +0000) | ||
| commit | bc6b3da5f91648b34c55478b3db71a485894ebdf | |
| tree | 10a2aec67ecc226ae458df45152abd3a39514371 | tree | snapshot |
| parent | b7db61367b23f0366d7d3d2041d87d72029878d8 | commit | diff |
| matita/matita.txt | diff | blob | history |