projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 25 May 2006 14:33:13 +0000 (14:33 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 25 May 2006 14:33:13 +0000 (14:33 +0000) | ||
| commit | c25f685f27ea3b902fce0a87fe6d9b80c9a69bc5 | |
| tree | c7899176c75ef4f00d9d93bf0419ba6d6b4dd5c1 | tree | snapshot |
| parent | 42994a7dbd272322126d5d6f4d64b2762f572e4b | commit | diff |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |