projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 16:45:56 +0000 (16:45 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 16:45:56 +0000 (16:45 +0000) | ||
| commit | b8f0a76121fe684674c95fe9389b2e60b5eda694 | |
| tree | 48b2be4368b9df6dc96ef52d967ba9e7c7e8eff7 | tree | snapshot |
| parent | 74235656b655c71a014b1e45c44c7c30f75a5329 | commit | diff |
| helm/papers/matita/matita.bib | diff | blob | history | |
| helm/papers/matita/matita2.bbl | diff | blob | history | |
| helm/papers/matita/matita2.tex | diff | blob | history |