projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 5 Sep 2005 16:59:40 +0000 (16:59 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 5 Sep 2005 16:59:40 +0000 (16:59 +0000) | ||
| commit | 0c2b65693a5a7a2881ebb6dfcaa432f4f9fd22a4 | |
| tree | 3a2a2160aa5c4b7e900afcf28daa3c65829d57b3 | tree | snapshot |
| parent | 8bbe4f30e98b4a1e0d51d17b64905461df669101 | commit | diff |
| helm/matita/matita.txt | diff | blob | history | |
| helm/matita/tests/unfold.ma | diff | blob | history |