projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 29 Aug 2006 13:22:03 +0000 (13:22 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 29 Aug 2006 13:22:03 +0000 (13:22 +0000) | ||
| commit | 752b790d95e1e944d2077cf9802d61820e972624 | |
| tree | 01562111b8daebe63d41792536e43ae43cc290ca | tree | snapshot |
| parent | 8a8cb7db0c80d9945969960e69f440ca326e2b92 | commit | diff |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |