projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 6 Jun 2008 08:27:51 +0000 (08:27 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 6 Jun 2008 08:27:51 +0000 (08:27 +0000) | ||
| commit | aed835fe44092519f9f5f7f302419a92f9702525 | |
| tree | d0e084ecf6be6198d1ab5b22ce0b1ae889459954 | tree | snapshot |
| parent | 2490d1bf464e276c581ca7b0b7956df2b0f7a490 | commit | diff |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |