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 | de36ba96a7d328655885e7bf6fed08cf06faecb6 | |
| tree | 9207c1234683a8c89aabf9aea3268dd0dff364b1 | tree | snapshot |
| parent | 92d4c265cd2a6c5f56273ad5938a0da77bde2315 | commit | diff |
| matita/help/C/sec_install.xml | diff | blob | history |