projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 16:03:07 +0000 (17:03 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Sep 2019 13:45:22 +0000 (15:45 +0200) | ||
| commit | bb3c7ca89a74d4b49278c657eae3f03a56853379 | |
| tree | a3283900b753fd1d90ed733fb26b5680f7ea7666 | tree | snapshot |
| parent | 7e21019651087d8a295e3e746316f6149faa6ac9 | commit | diff |
| matita/matita/matitaGui.ml | diff | blob | history |