projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 9 Jun 2006 14:33:16 +0000 (14:33 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 9 Jun 2006 14:33:16 +0000 (14:33 +0000) | ||
| commit | d42059631d57a1c2964240b9905b235e2a945fc1 | |
| tree | 1765c33ca310563e3eb25dda3d75b6d7933a3be3 | tree | snapshot |
| parent | 19849608a5bf22dc233abf5030745f3ea0fcd4c9 | commit | diff |
| helm/software/matita/help/C/matita.xml | diff | blob | history | |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |