projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Jan 2006 12:03:43 +0000 (12:03 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 27 Jan 2006 12:03:43 +0000 (12:03 +0000) | ||
| commit | b54d416a511fcb2a01200a545506f83c70d24b96 | |
| tree | 1e1504056f91b5939c508745467cc047c2f9fecc | tree | snapshot |
| parent | b6f12c7851b23c4793a9fe279c4439b84c817b23 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |