]> matita.cs.unibo.it Git - helm.git/commit
useful comment
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 Dec 2018 18:40:44 +0000 (19:40 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Sep 2019 13:45:22 +0000 (15:45 +0200)
commitfa21e88e6e9464dbd2f76d8b1d6094054a6ec19c
treec1005f487efd1fcb1f1da3e8ece401eb8e655b46
parent537c403d3efcf9b36897809a40cc7f5c1a871507
useful comment
matita/matita/matitaGui.ml