projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 25 Aug 2008 13:15:54 +0000 (13:15 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 25 Aug 2008 13:15:54 +0000 (13:15 +0000) | ||
| commit | 21da7b0b7cd14ebc928a84ca9f53793e3956dfb7 | |
| tree | baf23d78304cf313b3783a787211a1d767030b9c | tree | snapshot |
| parent | a46b2e95dd4b2496956c45e9895602a74e92fd3b | commit | diff |
| helm/software/matita/matita.glade | diff | blob | history | |
| helm/software/matita/matitaGui.ml | diff | blob | history |