projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 4 Jan 2023 14:38:38 +0000 (15:38 +0100) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100) | ||
| commit | 3e9d5de04678d7edfaf6a7065cc4c84217adcac4 | |
| tree | e88dcdadee61fa4dc4702455db1dc4afd6739d46 | tree | snapshot |
| parent | 6709920fe5d6be86d32e9ff2cc0186757660c608 | commit | diff |
| matita/dune-project | diff | blob | history | |
| matita/matita.opam | diff | blob | history |