projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Feb 2023 14:20:06 +0000 (15:20 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Feb 2023 14:23:43 +0000 (15:23 +0100) | ||
| commit | d714ef92f5e67cb59ac543e06c1df504ad791a95 | |
| tree | 1170c5c9cde4ad7f8259069fc50bdf7e97a688cb | tree | snapshot |
| parent | fe4d083e869a5194f6ef62457258dfc2acdd6288 | commit | diff |
| matita/matita/matitaGui.ml | diff | blob | history |