projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 7 Feb 2006 23:08:27 +0000 (23:08 +0000) | ||
| commit | e15e22b0bb0723470473e37ccbcd75b90494c614 | |
| tree | 4a870e78bdb59040a1a575134dfd8d878a4f45c8 | tree | snapshot |
| parent | 49e234b2701fdab2364a0e620111d8149450a50f | commit | diff |
| helm/software/matita/help/C/matita.xml | diff | blob | history | |
| helm/software/matita/help/C/sec_install.xml | diff | blob | history | |
| helm/software/matita/help/C/sec_tactics.xml | diff | blob | history |