projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 9 Nov 2008 10:27:38 +0000 (10:27 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sun, 9 Nov 2008 10:27:38 +0000 (10:27 +0000) | ||
| commit | 98b8901060eafdd18e49f42a1182ad580df4a574 | |
| tree | ecca628e8b601d4dd0d65e9bbfe32edc5752a475 | tree | snapshot |
| parent | 89be8e257ea6a9b7e30a595c8294e0972d165a72 | commit | diff |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |