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 | 9fb03b0fd644be4785aed6f8a1da8a7f609694ec | |
| tree | 529cb6fb7900fba3791b9eaba8c9474775effe86 | tree | snapshot |
| parent | 5a9445562fe66eb78f7f1a0c3a75c569430c63ac | commit | diff |
| matita/Makefile | diff | blob | history |