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> | |
| Tue, 14 Feb 2023 14:22:46 +0000 (15:22 +0100) | ||
| commit | d2d9b78c982fffbc4df22c0a4a13cb0d845e321c | |
| tree | 6a401e7d35a2754ff2625125ba7568d0ea8404e2 | tree | snapshot |
| parent | 245ff83b44c373455592e2e2271a2a7a79610799 | commit | diff |
| matita/matita/matita.ml | diff | blob | history | |
| matita/matita/matitaGui.ml | diff | blob | history | |
| matita/matita/matitaGuiTypes.mli | diff | blob | history |