projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 11:52:27 +0000 (11:52 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 11:52:27 +0000 (11:52 +0000) | ||
| commit | 1c4f274260deeca43260e2591cf76992508fa56e | |
| tree | f40ba5e7925bac8f69cec238616c8ed0743344ce | tree | snapshot |
| parent | c9476a5e112e223c2e0707658229b47c00ca7b5f | commit | diff |
| helm/papers/matita/matita2.tex | diff | blob | history |