projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 30 Nov 2005 12:17:53 +0000 (12:17 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 30 Nov 2005 12:17:53 +0000 (12:17 +0000) | ||
| commit | 78d6c353f0288a1b3b86aeb43b22a483c34822d9 | |
| tree | cf52601995c39992cd5043a49ccec38d45f671cb | tree | snapshot |
| parent | c307d27343fe48aeeb2e1763a811f8122ac1c0df | commit | diff |
| helm/matita/matitaTypes.mli | diff | blob | history |