projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 13:48:58 +0000 (13:48 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jun 2008 13:48:58 +0000 (13:48 +0000) | ||
| commit | 393187c5f5a6e71d467ab04b65f3a935701724fb | |
| tree | ee8616ab3788d9d9ab9a40ba526aa3570d83dc74 | tree | snapshot |
| parent | 36842ee77114d2fa896d7ffd2333c07cff22b053 | commit | diff |
| helm/software/matita/help/C/sec_tactics.xml | diff | blob | history | |
| helm/software/matita/help/C/tactics_quickref.xml | diff | blob | history |