projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 30 Dec 2022 20:31:23 +0000 (21:31 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 30 Dec 2022 20:31:23 +0000 (21:31 +0100) | ||
| commit | 929c84c392a955e8a5f3287fc770227a1dfd5587 | |
| tree | 11a54864202a6334a84df0663dfdb7574f503397 | tree | snapshot |
| parent | e082eec771e24842f29a01fa258f7c80bc2db599 | commit | diff |
| matita/matita/matitaGui.ml | diff | blob | history | |
| matita/matita/matitaScript.ml | diff | blob | history |