projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 21:17:21 +0000 (22:17 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 26 Dec 2018 21:17:21 +0000 (22:17 +0100) | ||
| commit | cf8b1c25a0011ca2a8a856b39e046da33c451221 | |
| tree | c970aa6f5b6a97e64a46c2145dafbb1754fc251a | tree | snapshot |
| parent | 810e74d1e470c70e0c7cdc5f1f3e4bbde72d4b83 | commit | diff |
| matita/configure.ac | diff | blob | history | |
| matita/matita/dist/ChangeLog | diff | blob | history |