projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 16 Dec 2008 09:00:31 +0000 (09:00 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Tue, 16 Dec 2008 09:00:31 +0000 (09:00 +0000) | ||
| commit | e325b771a3283acdb371cdc6f1f1929c0a0db3a1 | |
| tree | d178cd6a7bb8a63fa5d575f139e1f489e97abc2f | tree | snapshot |
| parent | e8b02b0b19274bb9c486987e401d637dc045b272 | commit | diff |
| helm/software/matita/matita.glade | diff | blob | history | |
| helm/software/matita/matitaGui.ml | diff | blob | history |