projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 16:03:07 +0000 (17:03 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 16:03:07 +0000 (17:03 +0100) | ||
| commit | fd4f563ed52c644b14b1e6a4045fca1c241444a7 | |
| tree | 3bafc6f12b3d7e811d6d65bc83bcb3f0f1f40e4e | tree | snapshot |
| parent | a835ae142c71d7cade1b210c8123069513dc17e4 | commit | diff |
| matita/matita/matitaGui.ml | diff | blob | history |