projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 13 Jul 2005 12:32:09 +0000 (12:32 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 13 Jul 2005 12:32:09 +0000 (12:32 +0000) | ||
| commit | 57b43a967eaf3b0747350cd775d4301a53af2820 | |
| tree | 50e08789a125f019604dea7e082d4ec3297799da | tree | snapshot |
| parent | 2b061073ed17c537a6ea969960e5a3038ed30d05 | commit | diff |
| helm/matita/matita.glade | diff | blob | history | |
| helm/matita/matitaGui.ml | diff | blob | history | |
| helm/matita/matitaGui.mli | diff | blob | history |