projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Jun 2006 14:14:11 +0000 (14:14 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 14 Jun 2006 14:14:11 +0000 (14:14 +0000) | ||
| commit | f7e40489c0bf57f6f4a14ef8d426b45d7103de0f | |
| tree | 1a4728b3266ff25197e6c882f9949bea01d4c6f2 | tree | snapshot |
| parent | 4be5ed97ca18febdc53f538360d30ec8100ba9c3 | commit | diff |
| helm/software/matita/help/C/sec_gettingstarted.xml | diff | blob | history |