projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 3 Oct 2006 13:57:30 +0000 (13:57 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 3 Oct 2006 13:57:30 +0000 (13:57 +0000) | ||
| commit | 76329cf4ef5a6e359bdc62ee2b29d00b0008d976 | |
| tree | 921861bb8591bae0e145f841a017c9171ce67660 | tree | snapshot |
| parent | 78c3f6752108e6c762a31a3e2770d6f1bf448b94 | commit | diff |
| matita/tests/makefile | diff | blob | history |