projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 18 Nov 2011 15:17:05 +0000 (15:17 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 18 Nov 2011 15:17:05 +0000 (15:17 +0000) | ||
| commit | 68aad189a157255485177a8a632d44ac3ad73a09 | |
| tree | e5c1453050c3dfb0c19ce93d9d1be7b0519b3e94 | tree | snapshot |
| parent | a64572b00ce40f476577bf827488d23ddf763120 | commit | diff |
| matita/matita/help/C/sec_terms.xml | diff | blob | history |