projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 5 Jun 2006 11:38:24 +0000 (11:38 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 5 Jun 2006 11:38:24 +0000 (11:38 +0000) | ||
| commit | cc9a92d063e720b80cd91ce39d51bc1a1196460b | |
| tree | 583dfe287c439340c0da7e24722dd4e74c88104f | tree | snapshot |
| parent | 097487efb60f77326ea3959db169be9ee6c40da1 | commit | diff |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |