projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 11 Jul 2006 13:09:36 +0000 (13:09 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 11 Jul 2006 13:09:36 +0000 (13:09 +0000) | ||
| commit | 07d068011fb816e94a14056ab1058c796312606b | |
| tree | 967b8e4ba881ac543f340464eeea35a49faaacb4 | tree | snapshot |
| parent | b1c222ae8d9bee83d6c5723533a1395d7353893a | commit | diff |
| matita/help/C/sec_install.xml | diff | blob | history |