projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 11:07:14 +0000 (11:07 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 15 Nov 2007 11:07:14 +0000 (11:07 +0000) | ||
| commit | f43e5b3030baf55c2f91bbfcca188dd3504b8871 | |
| tree | 842fb3f8bb78cd011feb324c0f75996fb7cf3197 | tree | snapshot |
| parent | 262a6033077f0e912a7116c89cc2a895a5c024fc | commit | diff |
| pkg-matita/trunk/debian/matita.menu | diff | blob | history |