]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 31 Jan 2006 09:26:21 +0000 (09:26 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 31 Jan 2006 09:26:21 +0000 (09:26 +0000) | ||
commit | 0ef468f9000a8e9c391cc8ade2f9aea35e878305 | |
tree | d8c80b74bfe0d10cc3709f31c38192ad18396b1e | tree | snapshot |
parent | 2ee2f93ad2b68ec7e3307656515685cfb8887a60 | 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 |