projects / helm.git / commit
| 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 |