]>
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) |
helm/papers/matita/matita.bib | patch | blob | history | |
helm/papers/matita/matita2.bbl | patch | blob | history | |
helm/papers/matita/matita2.tex | patch | blob | history |