projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 26 May 2006 13:41:55 +0000 (13:41 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 26 May 2006 13:41:55 +0000 (13:41 +0000) | ||
| commit | b4fb4fa6c17945b70d821e2b31e6aca727bcf9d5 | |
| tree | fe082fab487be4a61e2d6b997a04283d6e084710 | tree | snapshot |
| parent | 098d4ba18dfe92d25cb5e513231d952d14938bb6 | commit | diff |
| helm/software/matita/help/C/matita.xml | diff | blob | history | |
| helm/software/matita/help/C/sec_tactics.xml | diff | blob | history | |
| helm/software/matita/help/C/sec_terms.xml | diff | blob | history |