projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 11:35:12 +0000 (11:35 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 Sep 2006 11:35:12 +0000 (11:35 +0000) | ||
| commit | b5fdd3c31b9595c0c1c1b9954bcf5a914b2a1fbb | |
| tree | 2baa7ee2f24d9e562f4af90b7eff2a7da0d31f1d | tree | snapshot |
| parent | f73bd8a2251d9eb27ea36da6d09b38e6659092e5 | commit | diff |
| helm/software/matita/Makefile | diff | blob | history |