projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 13 Jul 2005 12:41:19 +0000 (12:41 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 13 Jul 2005 12:41:19 +0000 (12:41 +0000) | ||
| commit | ee55b3c9f43adc5adfe2c1be33bbe185aabe381c | |
| tree | 22fafd22bcc19609cb74b6040d4e1a5a68424cf9 | tree | snapshot |
| parent | 1249dc32a36406ff81db9d4bf88805d97210bbb3 | commit | diff |
| helm/matita/matita.glade | diff | blob | history |