projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Sat, 22 Dec 2018 14:32:24 +0000 (15:32 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Sep 2019 13:45:21 +0000 (15:45 +0200) | ||
| commit | 6f24874d21e1ba9187599d0817c9ac8185a2464e | |
| tree | 4eb4f4243793bf1419c58389581995cd1b75152a | tree | snapshot |
| parent | 112c67fcdd49e3258a8644a5f299669741d9737d | commit | diff |
| matita/matita/matita.ui | diff | blob | history | |
| matita/matita/matitaGui.ml | diff | blob | history |