projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 21:01:16 +0000 (22:01 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 21:01:16 +0000 (22:01 +0100) | ||
| commit | 810e74d1e470c70e0c7cdc5f1f3e4bbde72d4b83 | |
| tree | 406a330b3246700ec2019e2e1a596dbd1b1b51c5 | tree | snapshot |
| parent | 0ec7ec7e380b64c57e60d50025edcfc926fc861f | commit | diff |
| matita/matita/matitaGtkMisc.ml | diff | blob | history |