projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 30 Dec 2022 21:23:44 +0000 (22:23 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 30 Dec 2022 21:25:01 +0000 (22:25 +0100) | ||
| commit | 9d3f004fe43b3c0df85f1ca27662538e4686c0f4 | |
| tree | 2add2c38cdf433c9996f377461d71f2cf55def8f | tree | snapshot |
| parent | 929c84c392a955e8a5f3287fc770227a1dfd5587 | commit | diff |
| matita/matita/matita.ml | diff | blob | history | |
| matita/matita/matitaGui.ml | diff | blob | history | |
| matita/matita/matitaGuiTypes.mli | diff | blob | history |