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 | 6f4f26fdfd2a627eef6bf27481e28833df05c82a | |
| tree | dbaba50cf283852820cb8e8134dc07fd15f89819 | tree | snapshot |
| parent | 808e0ec0ecef2cb14939f4f05724d36663495f40 | commit | diff |
| matita/tests/change.ma | diff | blob | history | |
| matita/tests/replace.ma | diff | blob | history | |
| matita/tests/rewrite.ma | diff | blob | history |