projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 20 Dec 2010 17:42:37 +0000 (17:42 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 20 Dec 2010 17:42:37 +0000 (17:42 +0000) | ||
| commit | 512a720ad04904da3971ece6b31a3a602ceca804 | |
| tree | fa99ef2bb3dbddbd36ca9ab788ee9e0b566cfe57 | tree | snapshot |
| parent | f3d0ba1e75bc3383d766f3a33a19352db19854df | commit | diff |
| matita/matita/matita.ml | diff | blob | history |