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 | a526b1a92a355eaa4309c06ce97986d1e41e7845 | |
| tree | 73a35bab1c463b63e05d89b226eb4b9b6f4a667c | tree | snapshot |
| parent | 33f9ff7f9693a77f194112291bd149e7c0d80e71 | commit | diff |
| matita/matita.txt | diff | blob | history |