projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:34:37 +0000 (11:34 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 15 Oct 2007 11:34:37 +0000 (11:34 +0000) | ||
| commit | f9ac9cf02a2b1641e4ff9845a4bb623570fef38a | |
| tree | a7ba9502184a0b6498a58cfd2d86e9ecfe49f8c0 | tree | snapshot |
| parent | 1de185692570fc8b8599f586dbbb9dcb2ec77592 | commit | diff |
| helm/software/matita/tests/change.ma | diff | blob | history | |
| helm/software/matita/tests/replace.ma | diff | blob | history | |
| helm/software/matita/tests/rewrite.ma | diff | blob | history |