projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 5 Jun 2006 11:27:13 +0000 (11:27 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 5 Jun 2006 11:27:13 +0000 (11:27 +0000) | ||
| commit | 097487efb60f77326ea3959db169be9ee6c40da1 | |
| tree | 457f5a4b63231c942a6b402f538348cefbc8723a | tree | snapshot |
| parent | 53d918bdbe4135cee1764f27f5c5c8a585bf3481 | commit | diff |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |