projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 18:40:44 +0000 (19:40 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Sep 2019 13:45:22 +0000 (15:45 +0200) | ||
| commit | fa21e88e6e9464dbd2f76d8b1d6094054a6ec19c | |
| tree | c1005f487efd1fcb1f1da3e8ece401eb8e655b46 | tree | snapshot |
| parent | 537c403d3efcf9b36897809a40cc7f5c1a871507 | commit | diff |
| matita/matita/matitaGui.ml | diff | blob | history |