projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Sep 2019 13:55:14 +0000 (15:55 +0200) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Sep 2019 13:55:14 +0000 (15:55 +0200) | ||
| commit | f00a612006ac05f49a42ab507a95d3298bc1457a | |
| tree | 08dac3e33cf8f3867221aaa809a169178c8538db | tree | snapshot |
| parent | 988f17850d6e70b6d89aa18b801f5a59115bb012 | commit | diff |
| matita/matita/.depend.opt | diff | blob | history | |
| matita/matita/matitaMathView.ml | diff | blob | history |