projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 25 Nov 2005 15:22:51 +0000 (15:22 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 25 Nov 2005 15:22:51 +0000 (15:22 +0000) | ||
| commit | d2c251dfd0524ae22a4ef44e8e964d5b0a0f155c | |
| tree | 2ae1b97c5445e1c665c1640813498da20989790e | tree | snapshot |
| parent | 5aa0c59a1edd110c8207d74dede3a84fd500f418 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |