]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Thu, 26 Jan 2006 14:58:51 +0000 (14:58 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Thu, 26 Jan 2006 14:58:51 +0000 (14:58 +0000) | ||
commit | 1aad2bcf697c0b65560fe33b4f98d9f353514be4 | |
tree | 25292f735f172ce327a330febddcbcc040256448 | tree | snapshot |
parent | 4fa098d44a4f6f88fe09597abf6ad2af726cbff0 | commit | diff |
helm/papers/matita/matita.bib | diff | blob | history | |
helm/papers/matita/matita2.tex | diff | blob | history |