projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 25 Nov 2005 12:09:18 +0000 (12:09 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 25 Nov 2005 12:09:18 +0000 (12:09 +0000) | ||
| commit | f0d65b5632900e307cf918d51094e9d69350501c | |
| tree | 82c71974e0d29174e867450ee5c1421ee28989c6 | tree | snapshot |
| parent | bfc419549c067ca4c90c2ddd37b17f9b70bd52c0 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |