projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 4 Jul 2005 14:41:41 +0000 (14:41 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 4 Jul 2005 14:41:41 +0000 (14:41 +0000) | ||
| commit | 74df970a037410bd86ab59b04ba58f9d51498a74 | |
| tree | daf0f8f2c15839850e2963ad1f319fd63620c0da | tree | snapshot |
| parent | 4cad069db0e2760d249a5bc4daa1d5277dcefeec | commit | diff |
| helm/matita/library/Makefile | diff | blob | history | |
| helm/matita/tests/Makefile | diff | blob | history |