]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0ba346) | patch
More H/V deprecated widgets replaced
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 21 Dec 2018 23:42:49 +0000 (00:42 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 27 Sep 2019 13:45:21 +0000 (15:45 +0200)
commit1e7869ecac0e847c2cbae6d79f78b7880fcfce03
tree84e8e2b02561bd047c89fc47fd13543d9748cb1dtree | snapshot
parentb0ba34606d0e7db245c7f15c901d741341bb4562commit | diff
More H/V deprecated widgets replaced
matita/matita/matita.ui diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.