projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 13 Jul 2007 09:56:42 +0000 (09:56 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 13 Jul 2007 09:56:42 +0000 (09:56 +0000) | ||
| commit | c9cd5b62c814a9f3b90c2e1d96e4c4376af8f80f | |
| tree | 16b1bcaf325596938733e6265cc586ef250b0495 | tree | snapshot |
| parent | 2ac24b52dbb918e56b6754524881007c6cd088b0 | commit | diff |
| helm/software/matita/help/C/matita.xml | diff | blob | history | |
| helm/software/matita/help/C/tactics_quickref.xml | diff | blob | history |