projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 2 Nov 2007 14:16:23 +0000 (14:16 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 2 Nov 2007 14:16:23 +0000 (14:16 +0000) | ||
| commit | 2f857ddcadb88445744b1490cb510023b7192930 | |
| tree | ba2ccd8a6fe7b96bee231d64ab33b3cd30ea9751 | tree | snapshot |
| parent | 6878c387d33c042823a47bc9308a9dbadee83444 | commit | diff |
| helm/software/matita/help/C/sec_install.xml | diff | blob | history |