projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 26 May 2006 14:18:09 +0000 (14:18 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 26 May 2006 14:18:09 +0000 (14:18 +0000) | ||
| commit | a42ff35af2d413daa87d567ff265b2ebe3c9b58d | |
| tree | eb24c06ae4c21c969d9fc1901c50c581b5d237ce | tree | snapshot |
| parent | b4fb4fa6c17945b70d821e2b31e6aca727bcf9d5 | commit | diff |
| helm/software/matita/help/C/sec_intro.xml | diff | blob | history |