projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 30 Jan 2006 16:25:46 +0000 (16:25 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 30 Jan 2006 16:25:46 +0000 (16:25 +0000) | ||
| commit | d40dccf9dbf0f1792e0f2cbac3c3b3c8fb0c14cb | |
| tree | 1370f15c5ca7d0bf72deb20dfcd8b189020afd3b | tree | snapshot |
| parent | 5d86c5b5ef8d3c4b92bd00a1aebdad10143bc58e | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |