projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 17 Nov 2010 17:28:14 +0000 (17:28 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 17 Nov 2010 17:28:14 +0000 (17:28 +0000) | ||
| commit | fc0401d0b8ef2c4f437d1e533dd0331d9b91082b | |
| tree | 9c66e123adc5773449b85cebd038049c826aff28 | tree | snapshot |
| parent | 7be382111340d6240b45e95126c7844134272b41 | commit | diff |
| matita/matita/matita.glade | diff | blob | history | |
| matita/matita/matitaMathView.ml | diff | blob | history |