projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 23 Jan 2006 12:45:55 +0000 (12:45 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 23 Jan 2006 12:45:55 +0000 (12:45 +0000) | ||
| commit | 72789e6d0eca89aa6629b387da141feac426ba20 | |
| tree | 21df6807553ea56ab129f6dce0696d8e3193eb04 | tree | snapshot |
| parent | 34dbef19bdb8726cab7af14bff72dd4573c1d365 | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |