projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 Jul 2008 21:09:56 +0000 (21:09 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 23 Jul 2008 21:09:56 +0000 (21:09 +0000) | ||
| commit | 9440ccb19f25005bfd7baa1000b729e45b9592d4 | |
| tree | 161c9262b5e6c6f292f32672e55bb8e9735f21cf | tree | snapshot |
| parent | 558224e07a053eb99eaba1aed56c686056840dec | commit | diff |
| helm/software/matita/dist/ChangeLog | diff | blob | history | |
| helm/software/matita/matita.glade | diff | blob | history |