projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 31 Jan 2006 10:55:09 +0000 (10:55 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 31 Jan 2006 10:55:09 +0000 (10:55 +0000) | ||
| commit | 808a892e0a16067a22eb25c3d8182fe71de3ac9a | |
| tree | 4f5979c7f5135576335da9d3c8143b56baff2a33 | tree | snapshot |
| parent | a031418f35afefcad507d6f13d6a33fd35f3c86b | 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 |