projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 12 Oct 2006 09:44:03 +0000 (09:44 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 12 Oct 2006 09:44:03 +0000 (09:44 +0000) | ||
| commit | 219834c0e605004a33cae194f1216c0b877b8ab4 | |
| tree | 3c70823c3fba57e1a4cbae8e483788ec35667c21 | tree | snapshot |
| parent | f91194b8b4a918774c75448455e4ff1d77cda980 | commit | diff |
| matita/Makefile | diff | blob | history | |
| matita/contribs/CoRN/makefile | [new file with mode: 0644] | blob |