]>
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 |