projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 30 Jan 2006 16:26:27 +0000 (16:26 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 30 Jan 2006 16:26:27 +0000 (16:26 +0000) | ||
| commit | 74235656b655c71a014b1e45c44c7c30f75a5329 | |
| tree | 6af83cfb5460ece1083130fe9961aa35550f33e4 | tree | snapshot |
| parent | d40dccf9dbf0f1792e0f2cbac3c3b3c8fb0c14cb | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |