projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 9 Jun 2006 15:00:58 +0000 (15:00 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 9 Jun 2006 15:00:58 +0000 (15:00 +0000) | ||
| commit | aaefdd61e5a4bf25645812676c977a5a863daa33 | |
| tree | bb327ad1ea879a2b0c9fbb012d224a5b9a169712 | tree | snapshot |
| parent | aa9badffab0e029513c6afe7991af493d02bbe5b | commit | diff |
| helm/software/matita/help/C/sec_tactics.xml | diff | blob | history |