projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 22 Dec 2018 14:32:24 +0000 (15:32 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 22 Dec 2018 14:32:24 +0000 (15:32 +0100) | ||
| commit | 597e5f42a14179dc0b4811046c622dd85944897b | |
| tree | ed223f276f6182e704f7c522dfb512a7923ab0ea | tree | snapshot |
| parent | a3994cfd56d213d6c78bcd654cbcceeb609f9d94 | commit | diff |
| matita/matita/matita.ui | diff | blob | history | |
| matita/matita/matitaGui.ml | diff | blob | history |