projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 20 Dec 2006 22:39:19 +0000 (22:39 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 20 Dec 2006 22:39:19 +0000 (22:39 +0000) | ||
| commit | acbf7b2ffb8646634928895024cd9020e1f265ab | |
| tree | 5cb47de77394fa2da66ad8a52029d1a112fddc3d | tree | snapshot |
| parent | 9fce3bebddf47429f6fcab726f11dafbf3295749 | commit | diff |
| helm/software/matita/help/C/sec_tactics.xml | diff | blob | history | |
| helm/software/matita/help/C/tactics_quickref.xml | diff | blob | history |